![Programmverifikation Programmverifikation](https://bilder.buecher.de/produkte/23/23432/23432672m.jpg)
Broschiertes Buch
Sequentielle, parallele und verteilte Programme
1994.
21. März 1994
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-57479-8
![Verification of Sequential and Concurrent Programs Verification of Sequential and Concurrent Programs](https://bilder.buecher.de/produkte/34/34562/34562450m.jpg)
Broschiertes Buch
3rd ed.
14. März 2012
Springer / Springer London / Springer, Berlin
978-1-4471-2513-6
Gebundenes Buch | 74,99 € |
![Verification of Sequential and Concurrent Programs Verification of Sequential and Concurrent Programs](https://bilder.buecher.de/produkte/26/26428/26428781m.jpg)
Gebundenes Buch
3rd ed.
5. Oktober 2009
Springer / Springer London / Springer, Berlin
12248810,978-1-84882-744-8
![New Trends in Constraints New Trends in Constraints](https://bilder.buecher.de/produkte/23/23382/23382209m.jpg)
Broschiertes Buch
Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers
2000.
23. August 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
10722264,978-3-540-67885-4
![Recent Advances in Constraints Recent Advances in Constraints](https://bilder.buecher.de/produkte/14/14780/14780961m.jpg)
Broschiertes Buch
Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers
2004
7. April 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
10997857,978-3-540-21834-0
![Logic Programming Languages Logic Programming Languages](https://bilder.buecher.de/produkte/24/24484/24484634m.jpg)
Broschiertes Buch
Constraints, Functions, and Objects
2. März 1993
MIT Press
![From Universal Morphisms to Megabytes: A Baayen Space Odyssey From Universal Morphisms to Megabytes: A Baayen Space Odyssey](https://bilder.buecher.de/produkte/45/45528/45528269m.jpg)
![Verification of Sequential and Concurrent Programs Verification of Sequential and Concurrent Programs](https://bilder.buecher.de/produkte/09/09199/09199081m.jpg)
Gebundenes Buch
2nd edition
1997
Springer US, Norwell
![Logic Programming: Proceedings of the Joint International Conference and Symposium on Logic Programming: The Joint [9th] International Conference & Symposium Logic Programming: Proceedings of the Joint International Conference and Symposium on Logic Programming: The Joint [9th] International Conference & Symposium](https://bilder.buecher.de/produkte/68/68614/68614790m.jpg)
![Lectures in Game Theory for Computer Scientists Lectures in Game Theory for Computer Scientists](https://bilder.buecher.de/produkte/32/32209/32209180m.jpg)
Gebundenes Buch
6. Januar 2011
Cambridge University Press
Ähnlichkeitssuche: Fact®Finder von OMIKRON