![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)
39,99 €
Versandkostenfrei*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 € |
![Hybrid Systems: Computation and Control Hybrid Systems: Computation and Control](https://bilder.buecher.de/produkte/23/23147/23147357m.jpg)
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 The Temporal Logic of Reactive and Concurrent Systems](https://bilder.buecher.de/produkte/21/21174/21174249m.jpg)
85,99 €
Versandkostenfrei*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
Ähnliche Artikel
![A Practical Theory of Reactive Systems A Practical Theory of Reactive Systems](https://bilder.buecher.de/produkte/32/32055/32055581m.jpg)
Broschiertes Buch
Incremental Modeling of Dynamic Behaviors
Softcover reprint of hardcover 1st ed. 2005
21. Oktober 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-06237-7
![A Practical Theory of Reactive Systems A Practical Theory of Reactive Systems](https://bilder.buecher.de/produkte/13/13292/13292320m.jpg)
Gebundenes Buch
Incremental Modeling of Dynamic Behaviors
2005
17. Februar 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11011705,978-3-540-23342-8
Ähnlichkeitssuche: Fact®Finder von OMIKRON