![Mathematical Theory of Computation Mathematical Theory of Computation](https://bilder.buecher.de/produkte/21/21474/21474389m.jpg)
21,99 €
Versandfertig in über 4 Wochen
![Temporal Verification of Reactive Systems Temporal Verification of Reactive Systems](https://bilder.buecher.de/produkte/40/40771/40771219m.jpg)
Broschiertes Buch
Safety
1995
22. August 2012
Springer / Springer New York / Springer, Berlin
978-1-4612-8701-8
Gebundenes Buch | 79,99 € |
![The Temporal Logic of Reactive and Concurrent Systems The Temporal Logic of Reactive and Concurrent Systems](https://bilder.buecher.de/produkte/37/37479/37479602m.jpg)
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
Gebundenes Buch | 85,99 € |
![The Temporal Logic of Reactive and Concurrent Systems The Temporal Logic of Reactive and Concurrent Systems](https://bilder.buecher.de/produkte/21/21174/21174249m.jpg)
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 Temporal Verification of Reactive Systems](https://bilder.buecher.de/produkte/09/09190/09190532m.jpg)
Gebundenes Buch
Safety
1995.
4. August 1995
Springer / Springer New York / Springer, Berlin
978-0-387-94459-3
![The Calculus of Computation The Calculus of Computation](https://bilder.buecher.de/produkte/32/32058/32058636m.jpg)
Broschiertes Buch
Decision Procedures with Applications to Verification
Softcover reprint of hardcover 1st ed. 2007
19. Oktober 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-09347-0
![Mathematical Theory of Computation. Mathematical Theory of Computation.](https://bilder.buecher.de/produkte/36/36545/36545268m.jpg)
![The Logical Basis for Computer Programming. VOLUME II : Deductive Systems (Addison-Wesley Series in Computer Science). The Logical Basis for Computer Programming. VOLUME II : Deductive Systems (Addison-Wesley Series in Computer Science).](https://bilder.buecher.de/produkte/24/24326/24326642m.jpg)
Buch
Addison Wesley Publishing Company 1990
![The Calculus of Computation The Calculus of Computation](https://bilder.buecher.de/produkte/23/23020/23020802m.jpg)
Gebundenes Buch
Decision Procedures with Applications to Verification
September 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-74112-1
![The Logical Basis for Computer Programming, Volume 1 (Addison-Wesley Series in Computer Science) The Logical Basis for Computer Programming, Volume 1 (Addison-Wesley Series in Computer Science)](https://bilder.buecher.de/produkte/22/22100/22100538m.jpg)
Buch
Addison Wesley Pub Co Inc
Ähnlichkeitssuche: Fact®Finder von OMIKRON