![Concurrency Verification Concurrency Verification](https://bilder.buecher.de/produkte/31/31081/31081170m.jpg)
Broschiertes Buch
Introduction to Compositional and Non-Compositional Methods
20. Oktober 2010
Cambridge University Press
![Stepwise Refinement of Distributed Systems Stepwise Refinement of Distributed Systems](https://bilder.buecher.de/produkte/09/09202/09202546m.jpg)
Broschiertes Buch
Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings
1990.
25. April 1990
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-52559-2
![Programming Concepts and Methods PROCOMET '98 Programming Concepts and Methods PROCOMET '98](https://bilder.buecher.de/produkte/21/21445/21445810m.jpg)
Gebundenes Buch
IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA
1998
31. Mai 1998
Springer / Springer US / Springer, Berlin
978-0-412-83760-9
![Formal Methods for Components and Objects (eBook, PDF) Formal Methods for Components and Objects (eBook, PDF)](https://bilder.buecher.de/produkte/44/44222/44222773m.jpg)
eBook, PDF
27. September 2005
Springer Berlin Heidelberg
![Programming Concepts and Methods PROCOMET '98 Programming Concepts and Methods PROCOMET '98](https://bilder.buecher.de/produkte/39/39945/39945074m.jpg)
Broschiertes Buch
IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA
Softcover reprint of the original 1st ed. 1998
22. Januar 2013
Springer / Springer US / Springer, Berlin
978-1-4757-6299-0
eBook, PDF | 161,95 € |
![Semantics: Foundations and Applications Semantics: Foundations and Applications](https://bilder.buecher.de/produkte/09/09202/09202513m.jpg)
Broschiertes Buch
REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings
1993.
29. April 1993
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-56596-3
![A Decade of Concurrency: Reflections and Perspectives A Decade of Concurrency: Reflections and Perspectives](https://bilder.buecher.de/produkte/09/09202/09202465m.jpg)
Broschiertes Buch
Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings
1994.
28. Juni 1994
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-58043-0
![Programming Concepts and Methods PROCOMET '98 (eBook, PDF) Programming Concepts and Methods PROCOMET '98 (eBook, PDF)](https://bilder.buecher.de/produkte/44/44062/44062508m.jpg)
Ähnlichkeitssuche: Fact®Finder von OMIKRON