Suchergebnisse für ""Edward L. Lamie""




Ähnliche Artikel


Languages, Compilers, and Tools for Embedded Systems
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Mueller
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
ACM SIGPLAN Workshop LCTES '98, Montreal, Canada, June 19-20, 1998, Proceedings
1998.
16. September 1998
Springer / Springer Berlin Heidelberg / Springer, Berlin
10638685,978-3-540-65075-1

Aktuelle Anwendungen in Technik und Wirtschaft Echtzeit 2008
49,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
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

Hybrid and Real-Time Systems
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Maler
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings
1997.
5. März 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
10549527,978-3-540-62600-8

Introduction to the Formal Design of Real-Time Systems
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
David Gray
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1999.
1. November 1998
Springer / Springer London / Springer, Berlin
978-3-540-76140-2

Embedded Systems Dictionary
68,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Jack Ganssle
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4. Januar 2003
McGraw-Hill Professional
K16233

Formal Techniques in Real-Time and Fault-Tolerant Systems
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Jonsson
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings
1996.
21. August 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61648-1

Formal Methods for Real-Time and Probabilistic Systems
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Jost-Pieter Katoen (ed.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings
1999.
12. Mai 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
10704800,978-3-540-66010-1

Formal Methods and Hybrid Real-Time Systems
39,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Cliff B. Jones (Volume ed.) / Zhiming Liu / Jim Woodcock
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
2007
6. September 2007
Springer, Berlin
12164615

Reliable Software Technologies - Ada-Europe 2004
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Albert Llamosi / Alfred Strohmeier (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings
2004
1. Juni 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11008385,978-3-540-22011-4



Ähnlichkeitssuche: Fact®Finder von OMIKRON