Broschiertes Buch
Introduction to Using the Common Algebraic Specification Language
2004
29. Januar 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20766-5
| eBook, PDF | 40,95 € |
Broschiertes Buch
Model-Checking Techniques and Tools
Softcover reprint of hardcover 1st ed. 2001
15. Dezember 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-07478-3
| eBook, PDF | 105,95 € |
Ähnliche Artikel
Broschiertes Buch
The Complete Documentation of the Common Algebraic Specification Language
2004
19. März 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-21301-7
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2005
29. Oktober 2010
Springer / Springer US / Springer, Berlin
978-1-4419-3746-9
Gebundenes Buch
Towards Proving the Absence of Buffer Overflow Vulnerabilities
2008 edition
26. Juni 2008
Springer / Springer London / Springer, Berlin
12069910,978-1-84800-016-2
Broschiertes Buch
1981.
1. Februar 1981
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-10473-5
Broschiertes Buch
Workshop, Bath, July 13-15, 1983. Proceedings
1984.
1. November 1984
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-13878-5
Gebundenes Buch
2008
7. Dezember 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12021086,978-3-540-74106-0
Broschiertes Buch
9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25- April 2, 2000 Proceedings
2000.
15. März 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
10719936,978-3-540-67262-3
Broschiertes Buch
Language and Standard Libraries
2000.
5. Dezember 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
10840907,978-3-540-43038-4
Gebundenes Buch
The Complete Syntax, Features and Procedures
2009
31. Oktober 2008
Springer / Springer London / Springer, Berlin
11617730,978-1-84628-378-9
Ähnlichkeitssuche: Fact®Finder von OMIKRON
