Suchergebnisse für ""Zohar Manna""

Mathematical Theory of Computation
22,99 €
Versandfertig in über 4 Wochen
Zohar Manna
Mathematical Theory of Computation
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
24. Dezember 2003
Dover Publications
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
Auch erhältlich als
Gebundenes Buch83,99 €
eBook, PDF73,95 €
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
Auch erhältlich als
Gebundenes Buch92,99 €
eBook, PDF40,95 €
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
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 New York
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 New York
The Calculus of Computation
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Aaron R. Bradley
Zohar Manna
The Calculus of Computation
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Decision Procedures with Applications to Verification
Softcover reprint of hardcover 1st edition 2007
19. Oktober 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-09347-0
Auch erhältlich als
Gebundenes Buch52,99 €
eBook, PDF40,95 €
The Calculus of Computation
52,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Aaron R. Bradley
Zohar Manna
The Calculus of Computation
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Decision Procedures with Applications to Verification
September 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-74112-1
The Calculus of Computation (eBook, PDF)
40,95 €
Sofort per Download lieferbar
Versandkostenfrei
Aaron R. Bradley
Zohar Manna
The Calculus of Computation (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
18. September 2007
Springer Berlin Heidelberg
Mathematical Theory of Computation.
Zohar Manna
Mathematical Theory of Computation.
  (Aktuell noch keine Bewertungen)
Buch
McGraw-Hill Kogakusha
The Logical Basis for Computer Programming, Volume 1 (Addison-Wesley Series in Computer Science)
BUCH - Marra, Zohar, Zohar Manna and Richard Waldinger
The Logical Basis for Computer Programming, Volume 1 (Addison-Wesley Series in Computer Science)
  (Aktuell noch keine Bewertungen)
Buch
Addison Wesley Pub Co Inc


Ähnlichkeitssuche: Fact®Finder von OMIKRON