![CASL User Manual CASL User Manual](https://bilder.buecher.de/produkte/12/12587/12587552m.jpg)
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
![Systems and Software Verification Systems and Software Verification](https://bilder.buecher.de/produkte/32/32079/32079019m.jpg)
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
Ähnliche Artikel
![CASL Reference Manual CASL Reference Manual](https://bilder.buecher.de/produkte/12/12687/12687002m.jpg)
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
![Consolidated Ada Reference Manual Consolidated Ada Reference Manual](https://bilder.buecher.de/produkte/10/10500/10500703m.jpg)
Broschiertes Buch
Language and Standard Libraries
2000.
5. Dezember 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
10840907,978-3-540-43038-4
![Formal Syntax and Semantics of Java Formal Syntax and Semantics of Java](https://bilder.buecher.de/produkte/09/09198/09198328m.jpg)
Broschiertes Buch
1999.
9. Juni 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
10692825,978-3-540-66158-0
![Ada Software Tools Interfaces Ada Software Tools Interfaces](https://bilder.buecher.de/produkte/23/23106/23106877m.jpg)
Broschiertes Buch
Workshop, Bath, July 13-15, 1983. Proceedings
1984.
1. November 1984
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-13878-5
![A Software Process Model Handbook for Incorporating People's Capabilities A Software Process Model Handbook for Incorporating People's Capabilities](https://bilder.buecher.de/produkte/32/32134/32134997m.jpg)
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2005
29. Oktober 2010
Springer / Springer US / Springer, Berlin
978-1-4419-3746-9
![Value-Range Analysis of C Programs Value-Range Analysis of C Programs](https://bilder.buecher.de/produkte/23/23236/23236389m.jpg)
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
![PASCAL for Programmers PASCAL for Programmers](https://bilder.buecher.de/produkte/25/25221/25221735m.jpg)
Broschiertes Buch
1981.
1. Februar 1981
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-10473-5
![Semantics, Applications, and Implementation of Program Generation Semantics, Applications, and Implementation of Program Generation](https://bilder.buecher.de/produkte/23/23388/23388588m.jpg)
Broschiertes Buch
International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings
2000
6. September 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-41054-6
![Software Process Modeling Software Process Modeling](https://bilder.buecher.de/produkte/32/32134/32134819m.jpg)
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2005
6. Dezember 2010
Springer / Springer US / Springer, Berlin
978-1-4419-3710-0
![Logics of Specification Languages Logics of Specification Languages](https://bilder.buecher.de/produkte/23/23098/23098851m.jpg)
Gebundenes Buch
2008
7. Dezember 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12021086,978-3-540-74106-0
Ähnlichkeitssuche: Fact®Finder von OMIKRON