Broschiertes Buch
Spezifikation und Verifikation
2010
24. Juni 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
12790234,978-3-642-05355-9
Broschiertes Buch
Synthese und Optimierung
2., erw. Aufl.
2. März 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
11822448,978-3-540-46822-6
Ähnliche Artikel
Broschiertes Buch
2. Aufl.
26. Februar 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-41600-5
Broschiertes Buch
Humane und wirtschaftliche Gestaltung von Organisation, Technik und Qualifikation
1989.
15. Dezember 1989
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-51660-6
Broschiertes Buch
Fachtagung der GI-Fachgruppe REAL-TIME, Echtzeitsysteme und PEARL, Boppard, 25./26. November 2004
2004
23. November 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11333661,978-3-540-23424-1
Broschiertes Buch
Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time) Boppard, 27. und 28. November 2008
2009
13. November 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12466221,978-3-540-85323-7
Broschiertes Buch
Logiken und Monitorkonstruktionen für asynchrone Prozesse
1. Aufl. 2016
29. April 2016
Springer Fachmedien Wiesbaden / Springer Vieweg / Springer, Berlin
978-3-658-12851-7
Broschiertes Buch
11th Annual European Symposium, Budapest, Hungary, September 16-19, 2003, Proceedings
2003
15. September 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20064-2
Broschiertes Buch
Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers
2007
9. Februar 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12019380,978-3-540-70888-9
Broschiertes Buch
Systemgrundlagen und Entwicklung eingebetteter Software
2010
15. April 2010
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-8348-0422-8
Gebundenes Buch
Effizfientes Framework - Vom Design zur Implementierung
2005
6. Juli 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11373292,978-3-540-24339-7
Ähnlichkeitssuche: Fact®Finder von OMIKRON