![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
![Programming Concepts and Methods PROCOMET ¿98 Programming Concepts and Methods PROCOMET ¿98](https://bilder.buecher.de/produkte/39/39945/39945074n.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
![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
Ähnliche Artikel
![Static Analysis and Verification of Aerospace Software by Abstract Interpretation Static Analysis and Verification of Aerospace Software by Abstract Interpretation](https://bilder.buecher.de/produkte/44/44331/44331354n.jpg)
Broschiertes Buch
18. November 2015
Now Publishers Inc
![SQL Server Concurrency SQL Server Concurrency](https://bilder.buecher.de/produkte/36/36553/36553396m.jpg)
![Concurrency in .Net: Modern Patterns of Concurrent and Parallel Programming Concurrency in .Net: Modern Patterns of Concurrent and Parallel Programming](https://bilder.buecher.de/produkte/48/48700/48700614m.jpg)
Broschiertes Buch
13. Juli 2018
Manning Publications
![Formal Methods in Human-Computer Interaction Formal Methods in Human-Computer Interaction](https://bilder.buecher.de/produkte/26/26222/26222361m.jpg)
Broschiertes Buch
15. März 2009
Cambridge University Press
![Modernism and the Culture of Market Society Modernism and the Culture of Market Society](https://bilder.buecher.de/produkte/26/26816/26816475m.jpg)
![Philosophical History and the Problem of Consciousness Philosophical History and the Problem of Consciousness](https://bilder.buecher.de/produkte/26/26986/26986146m.jpg)
Broschiertes Buch
31. August 2009
Cambridge University Press
![Lambda-Calculus, Combinators and Functional Programming Lambda-Calculus, Combinators and Functional Programming](https://bilder.buecher.de/produkte/26/26184/26184029m.jpg)
Broschiertes Buch
27. Februar 2009
Cambridge University Press
![Nonmonotonic Reasoning Nonmonotonic Reasoning](https://bilder.buecher.de/produkte/32/32301/32301815m.jpg)
Broschiertes Buch
Logical Foundations of Commonsense
9. Februar 2011
Cambridge University Press
![Inside the Object Model Inside the Object Model](https://bilder.buecher.de/produkte/21/21520/21520108m.jpg)
Broschiertes Buch
The Sensible Use of C++
30. Mai 2014
Cambridge University Press
Ähnlichkeitssuche: Fact®Finder von OMIKRON