Gebundenes Buch
Modelling, Specification and Verification
3. März 2014
Cambridge University Press
Broschiertes Buch
35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
2008
24. Juni 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12322992,978-3-540-70582-6
Ähnliche Artikel
Broschiertes Buch
4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings
1997.
7. Mai 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
10548741,978-3-540-63010-4
Broschiertes Buch
Case Study Production Cell
1995.
26. Januar 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-58867-2
Gebundenes Buch
Formal Methods and Algorithms
2004
16. Oktober 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-00296-3
Broschiertes Buch
Safety
1995
22. August 2012
Springer / Springer New York / Springer, Berlin
978-1-4612-8701-8
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
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
Gebundenes Buch
Incremental Modeling of Dynamic Behaviors
2005
17. Februar 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11011705,978-3-540-23342-8
Broschiertes Buch
Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
1st ed. 2019
21. September 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-31513-9
Broschiertes Buch
State Chart XML in Action
1. April 2016
Association for Computing Machinery
Ähnlichkeitssuche: Fact®Finder von OMIKRON
