Suchergebnisse für ""Amir Pnueli""

Temporal Verification of Reactive Systems (eBook, PDF)
73,95 €
Sofort per Download lieferbar
Versandkostenfrei
Zohar Manna
Amir Pnueli
Temporal Verification of Reactive Systems (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
6. Dezember 2012
Springer US
Auch erhältlich als
Broschiertes Buch81,99 €
Gebundenes Buch83,99 €
The Temporal Logic of Reactive and Concurrent Systems (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Zohar Manna
Amir Pnueli
The Temporal Logic of Reactive and Concurrent Systems (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
6. Dezember 2012
Springer US
Auch erhältlich als
Broschiertes Buch42,99 €
Gebundenes Buch92,99 €
Temporal Verification of Reactive Systems
81,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Zohar Manna
Amir Pnueli
Temporal Verification of Reactive Systems
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Safety
1995
22. August 2012
Springer / Springer New York / Springer, Berlin
978-1-4612-8701-8
The Temporal Logic of Reactive and Concurrent Systems
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Zohar Manna
Amir Pnueli
The Temporal Logic of Reactive and Concurrent Systems
  (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
Hybrid Systems: Computation and Control
83,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Oded Maler / Amir Pnueli (eds.)
Hybrid Systems: Computation and Control
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
2003
18. März 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-00913-9
The Temporal Logic of Reactive and Concurrent Systems
92,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Zohar Manna
Amir Pnueli
The Temporal Logic of Reactive and Concurrent Systems
  (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
Temporal Verification of Reactive Systems
83,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Zohar Manna
Amir Pnueli
Temporal Verification of Reactive Systems
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Safety
1995.
4. August 1995
Springer / Springer New York / Springer, Berlin
978-0-387-94459-3


Ähnlichkeitssuche: Fact®Finder von OMIKRON