![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 | 81,99 € | |
eBook, PDF | 73,95 € |
![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 | 89,99 € | |
eBook, PDF | 40,95 € |
![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
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
![Temporal Verification of Reactive Systems (eBook, PDF) Temporal Verification of Reactive Systems (eBook, PDF)](https://bilder.buecher.de/produkte/44/44173/44173912m.jpg)
![The Temporal Logic of Reactive and Concurrent Systems (eBook, PDF) The Temporal Logic of Reactive and Concurrent Systems (eBook, PDF)](https://bilder.buecher.de/produkte/44/44052/44052209m.jpg)
eBook, PDF
6. Dezember 2012
Springer New York
![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 edition 2007
19. Oktober 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-09347-0
Gebundenes Buch | 54,99 € | |
eBook, PDF | 40,95 € |
![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 Calculus of Computation (eBook, PDF) The Calculus of Computation (eBook, PDF)](https://bilder.buecher.de/produkte/37/37372/37372034m.jpg)
![The Logical Basis for Computer Programming: Deductive Systems (Addison-Wesley Series in Computer Science) The Logical Basis for Computer Programming: Deductive Systems (Addison-Wesley Series in Computer Science)](https://bilder.buecher.de/produkte/24/24326/24326642m.jpg)
![The Logical Basis for Computer Programming - Volume 1: Deductive Reasoning The Logical Basis for Computer Programming - Volume 1: Deductive Reasoning](https://bilder.buecher.de/produkte/22/22100/22100538m.jpg)
Buch
1985
Addison-Wesley Professional
Ähnlichkeitssuche: Fact®Finder von OMIKRON