Suchergebnisse für ""Nicolas Halbwachs""




Ähnliche Artikel


Foundations of Real-Time Computing: Scheduling and Resource Management
125,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Andr‚ M. van Tilborg / Gary M. Koob (Hgg.)
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
1991.
31. Juli 1991
Springer / Springer US / Springer, Berlin
978-0-7923-9166-1

The Temporal Logic of Reactive and Concurrent Systems
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Zohar Manna
Amir Pnueli
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Specification
Softcover reprint of the original 1st ed. 1992
17. Oktober 2012
Springer / Springer New York / Springer, Berlin
978-1-4612-6950-2

Formal Development of Reactive Systems
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Lewerentz
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Case Study Production Cell
1995.
26. Januar 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-58867-2

The Temporal Logic of Reactive and Concurrent Systems
92,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Zohar Manna
Amir Pnueli
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Specification
Repr. d. Ausg. v. 1991
18. Dezember 1991
Springer / Springer New York / Springer, Berlin
978-0-387-97664-8

Embedded Systems Design
83,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Bruno Bouyssounouse / Joseph Sifakis (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
The ARTIST Roadmap for Research and Development
2005
30. März 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11400707,978-3-540-25107-1

Synchronization in Real-Time Systems
83,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Ragunathan Rajkumar
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
A Priority Inheritance Approach
1991.
31. August 1991
Springer / Springer US / Springer, Berlin
978-0-7923-9211-8

Safety-Critical Real-Time Systems
83,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Krämer
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Reprinted from REAL-TIME SYSTEMS
30. September 1997
Springer / Springer US / Springer, Berlin
978-0-7923-8022-1

4th Refinement Workshop
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9¿11 January 1991, Cambridge
1st Edition
12. Juni 1991
Springer / Springer London / Springer, Berlin
978-3-540-19657-0

Programming and Mathematical Method
83,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Summer School
Softcover reprint of the original 1st ed. 1992
21. Dezember 2011
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-77574-1



Ähnlichkeitssuche: Fact®Finder von OMIKRON