![Model Checking Abstract State Machines Model Checking Abstract State Machines](https://bilder.buecher.de/produkte/23/23846/23846945m.jpg)
![Merian Reiseführer Bali, Java, Lombok Merian Reiseführer Bali, Java, Lombok](https://bilder.buecher.de/produkte/24/24096/24096318m.jpg)
Ähnliche Artikel
![Abstract State Machines - Theory and Applications Abstract State Machines - Theory and Applications](https://bilder.buecher.de/produkte/23/23334/23334040m.jpg)
Broschiertes Buch
International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings
2000
23. August 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
10722735,978-3-540-67959-2
![Abstract State Machines 2004. Advances in Theory and Practice Abstract State Machines 2004. Advances in Theory and Practice](https://bilder.buecher.de/produkte/14/14737/14737672m.jpg)
Broschiertes Buch
11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
2004
11. Mai 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11011170,978-3-540-22094-7
![Abstract State Machines 2003: Advances in Theory and Practice Abstract State Machines 2003: Advances in Theory and Practice](https://bilder.buecher.de/produkte/23/23142/23142898m.jpg)
Broschiertes Buch
10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings
2003
21. Februar 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-00624-4
![Distributed Abstract State Machine for Grid Services Distributed Abstract State Machine for Grid Services](https://bilder.buecher.de/produkte/48/48059/48059886n.jpg)
23,99 €
Versandfertig in 6-10 Tagen
Broschiertes Buch
A formal method for studying complex systems
28. März 2017
Edizioni Accademiche Italiane
![Abstract State Machines, Alloy, B, VDM, and Z Abstract State Machines, Alloy, B, VDM, and Z](https://bilder.buecher.de/produkte/35/35693/35693427m.jpg)
Broschiertes Buch
Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
2012
12. Juni 2012
Springer / Springer Berlin Heidelberg / Springer, Berlin
86105486,978-3-642-30884-0
![Abstract State Machines, Alloy, B, TLA, VDM, and Z Abstract State Machines, Alloy, B, TLA, VDM, and Z](https://bilder.buecher.de/produkte/52/52328/52328554m.jpg)
Broschiertes Buch
6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings
1st edition 2018
8. Mai 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-91270-7
![Abstract State Machines, Alloy, B and Z Abstract State Machines, Alloy, B and Z](https://bilder.buecher.de/produkte/28/28439/28439295m.jpg)
Broschiertes Buch
Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
2010
2. März 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
12990580,978-3-642-11810-4
![Abstract State Machines, B and Z Abstract State Machines, B and Z](https://bilder.buecher.de/produkte/25/25047/25047895m.jpg)
Broschiertes Buch
First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
2008
8. September 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12518180,978-3-540-87602-1
![Towards Putting Abstract Interpretation of Prolog into Practice Towards Putting Abstract Interpretation of Prolog into Practice](https://bilder.buecher.de/produkte/23/23566/23566885m.jpg)
Broschiertes Buch
Design, Implementation, and Evaluation of a Tool to Verify and Optimise Prolog Programs
2008
VDM Verlag Dr. Müller
![Sichere Konfigurationsplanung adaptiver Systeme durch Model Checking Sichere Konfigurationsplanung adaptiver Systeme durch Model Checking](https://bilder.buecher.de/produkte/31/31513/31513294m.jpg)
Broschiertes Buch
Grundlagen, Konzepte, Implementierung
2010
VDM Verlag Dr. Müller
Ähnlichkeitssuche: Fact®Finder von OMIKRON