![Abstract State Machines Abstract State Machines](https://bilder.buecher.de/produkte/39/39508/39508703m.jpg)
Broschiertes Buch
A Method for High-Level System Design and Analysis
Softcover reprint of the original 1st ed. 2003
3. Oktober 2013
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-62116-1
eBook, PDF | 40,95 € |
![Proof Theory in Computer Science Proof Theory in Computer Science](https://bilder.buecher.de/produkte/23/23296/23296925m.jpg)
Broschiertes Buch
International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
2001
28. September 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-42752-0
eBook, PDF | 40,95 € |
![Abstract State Machines (eBook, PDF) Abstract State Machines (eBook, PDF)](https://bilder.buecher.de/produkte/53/53394/53394490m.jpg)
Ähnliche Artikel
![Formal Methods for Open Object-Based Distributed Systems V Formal Methods for Open Object-Based Distributed Systems V](https://bilder.buecher.de/produkte/39/39613/39613134m.jpg)
Broschiertes Buch
IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20-22, 2002, Enschede, The Netherlands
Softcover reprint of the original 1st ed. 2002
21. März 2013
Springer / Springer US / Springer, Berlin
978-1-4757-5268-7
![Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications](https://bilder.buecher.de/produkte/41/41487/41487005m.jpg)
Broschiertes Buch
6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
2014
7. Oktober 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-45230-1
![Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change](https://bilder.buecher.de/produkte/41/41487/41487067m.jpg)
Broschiertes Buch
6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
2014
7. Oktober 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-45233-2
![Architecture Description Languages Architecture Description Languages](https://bilder.buecher.de/produkte/41/41883/41883496m.jpg)
Broschiertes Buch
IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France
2005
22. November 2014
Springer / Springer US / Springer, Berlin
978-1-4614-9895-7
![NAPAW 92 NAPAW 92](https://bilder.buecher.de/produkte/28/28511/28511256m.jpg)
Broschiertes Buch
Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992
Softcover reprint of the original 1st ed. 1993
24. Februar 1993
Springer / Springer London / Springer, Berlin
978-3-540-19822-2
![Abstract State Machines, Alloy, B, TLA, VDM, and Z Abstract State Machines, Alloy, B, TLA, VDM, and Z](https://bilder.buecher.de/produkte/44/44769/44769750m.jpg)
Broschiertes Buch
5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
1st ed. 2016
11. Mai 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-33599-5
![Multimedia Tools for Communicating Mathematics Multimedia Tools for Communicating Mathematics](https://bilder.buecher.de/produkte/39/39499/39499603m.jpg)
Broschiertes Buch
Softcover reprint of the original 1st ed. 2002
3. Oktober 2013
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-62701-9
![Abstract State Machines, Alloy, B, TLA, VDM, and Z Abstract State Machines, Alloy, B, TLA, VDM, and Z](https://bilder.buecher.de/produkte/40/40817/40817232m.jpg)
Broschiertes Buch
4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
2014
21. Mai 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-43651-6
![Object-Oriented Discrete-Event Simulation with Java Object-Oriented Discrete-Event Simulation with Java](https://bilder.buecher.de/produkte/39/39512/39512218n.jpg)
Broschiertes Buch
A Practical Introduction
Softcover reprint of the original 1st ed. 2001
19. April 2013
Springer / Springer US / Springer, Berlin
978-1-4613-5495-6
![A Modular Calculus for the Average Cost of Data Structuring A Modular Calculus for the Average Cost of Data Structuring](https://bilder.buecher.de/produkte/41/41858/41858061m.jpg)
Broschiertes Buch
2008
19. November 2014
Springer / Springer US / Springer, Berlin
978-1-4899-9906-1
Ähnlichkeitssuche: Fact®Finder von OMIKRON