![Formal Methods for Open Object-Based Distributed Systems Formal Methods for Open Object-Based Distributed Systems](https://bilder.buecher.de/produkte/27/27635/27635291m.jpg)
Gebundenes Buch
Volume 2
1997.
30. Juni 1997
Springer / Springer US / Springer, Berlin
978-0-412-82040-3
eBook, PDF | 161,95 € |
![Refinement Refinement](https://bilder.buecher.de/produkte/57/57499/57499804m.jpg)
Broschiertes Buch
Semantics, Languages and Applications
Softcover reprint of the original 1st edition 2018
25. Januar 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-06497-6
Gebundenes Buch | 39,99 € | |
eBook, PDF | 40,95 € |
![Refinement Refinement](https://bilder.buecher.de/produkte/52/52474/52474949m.jpg)
Gebundenes Buch
Semantics, Languages and Applications
1st edition 2018
14. September 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-92709-1
![Refinement in Z and Object-Z Refinement in Z and Object-Z](https://bilder.buecher.de/produkte/43/43710/43710084m.jpg)
Broschiertes Buch
Foundations and Advanced Applications
2. Aufl.
23. August 2015
Springer / Springer London / Springer, Berlin
978-1-4471-6167-7
Gebundenes Buch | 77,99 € | |
eBook, PDF | ab 73,95 € |
![Refinement in Z and Object-Z Refinement in Z and Object-Z](https://bilder.buecher.de/produkte/38/38463/38463859m.jpg)
Gebundenes Buch
Foundations and Advanced Applications
2. Aufl.
12. September 2013
Springer / Springer London / Springer, Berlin
86073080,978-1-4471-5354-2
![Formal Techniques for Networked and Distributed Systems - FORTE 2007 Formal Techniques for Networked and Distributed Systems - FORTE 2007](https://bilder.buecher.de/produkte/22/22923/22923729m.jpg)
Broschiertes Buch
27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
2007
12. Juni 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12079162,978-3-540-73195-5
eBook, PDF | 40,95 € |
![Integrated Formal Methods Integrated Formal Methods](https://bilder.buecher.de/produkte/14/14763/14763568m.jpg)
Broschiertes Buch
4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
2004
24. März 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-21377-2
eBook, PDF | 40,95 € |
![Refinement (eBook, PDF) Refinement (eBook, PDF)](https://bilder.buecher.de/produkte/53/53795/53795750m.jpg)
![Refinement in Z and Object-Z (eBook, PDF) Refinement in Z and Object-Z (eBook, PDF)](https://bilder.buecher.de/produkte/44/44000/44000289m.jpg)
![Refinement in Z and Object-Z (eBook, PDF) Refinement in Z and Object-Z (eBook, PDF)](https://bilder.buecher.de/produkte/43/43801/43801258m.jpg)
![Formal Methods for Distributed Processing Formal Methods for Distributed Processing](https://bilder.buecher.de/produkte/22/22423/22423817m.jpg)
![The Image of Irelande: With a Discouerie of Woodkarne The Image of Irelande: With a Discouerie of Woodkarne](https://bilder.buecher.de/produkte/67/67228/67228810m.jpg)
23,99 €
Versandfertig in über 4 Wochen
Broschiertes Buch
27. Oktober 2022
Creative Media Partners, LLC
![The Image of Irelande The Image of Irelande](https://bilder.buecher.de/produkte/66/66908/66908846m.jpg)
Gebundenes Buch
With a Discouerie of Woodkarne
27. Oktober 2022
Creative Media Partners, LLC
![The Image of Irelande, with a Discouerie of Woodkarne The Image of Irelande, with a Discouerie of Woodkarne](https://bilder.buecher.de/produkte/70/70046/70046597n.jpg)
Broschiertes Buch
24. Februar 2024
Outlook Verlag
Ähnlichkeitssuche: Fact®Finder von OMIKRON