![Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification Cafeobj Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification](https://bilder.buecher.de/produkte/34/34495/34495242m.jpg)
Gebundenes Buch
2. Juli 1998
Imperial College Press
![Institution-independent Model Theory (eBook, PDF) Institution-independent Model Theory (eBook, PDF)](https://bilder.buecher.de/produkte/37/37397/37397863m.jpg)
Statt 106,99 €**
96,29 €
**Preis der gedruckten Ausgabe (Broschiertes Buch)
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei![Institution-independent Model Theory Institution-independent Model Theory](https://bilder.buecher.de/produkte/23/23313/23313833m.jpg)
Broschiertes Buch
2008
16. Mai 2008
Birkhäuser / Birkhäuser Basel / Springer, Basel
12195299,978-3-7643-8707-5
Ähnliche Artikel
![Language Prototyping: An Algebraic Specification Approach Language Prototyping: An Algebraic Specification Approach](https://bilder.buecher.de/produkte/22/22170/22170638m.jpg)
Gebundenes Buch
1. September 1996
World Scientific Publishing Company
![The Practical Handbook of Genetic Algorithms The Practical Handbook of Genetic Algorithms](https://bilder.buecher.de/produkte/21/21996/21996434m.jpg)
Gebundenes Buch
Applications, Second Edition
2nd edition
7. Dezember 2000
Taylor and Francis
![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
![Specification in B: An Introduction Using the B Toolkit Specification in B: An Introduction Using the B Toolkit](https://bilder.buecher.de/produkte/21/21261/21261084n.jpg)
Gebundenes Buch
1. April 1996
World Scientific Publishing Company
![UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications](https://bilder.buecher.de/produkte/14/14737/14737648m.jpg)
Broschiertes Buch
6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings
2003
9. Oktober 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20243-1
![Compiler Specification and Verification Compiler Specification and Verification](https://bilder.buecher.de/produkte/23/23116/23116008m.jpg)
19,99 €
Versandfertig in 1-2 Wochen
Broschiertes Buch
1981.
1. Oktober 1981
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-10886-3
![Real Time Programming: Languages, Specification and Verification Real Time Programming: Languages, Specification and Verification](https://bilder.buecher.de/produkte/21/21252/21252165m.jpg)
Gebundenes Buch
1. Oktober 2009
World Scientific Publishing Company
![An Algebraic Approach to Compiler Design An Algebraic Approach to Compiler Design](https://bilder.buecher.de/produkte/20/20953/20953049m.jpg)
Gebundenes Buch
19. April 1997
World Scientific Publishing Company
![Pro ASP.Net 2.0 Web Form Techniques, Third Edition Pro ASP.Net 2.0 Web Form Techniques, Third Edition](https://bilder.buecher.de/produkte/22/22397/22397947m.jpg)
Broschiertes Buch
Mai 2006
Springer Nature Singapore
11602248
![The Jakarta EE Platform Specification The Jakarta EE Platform Specification](https://bilder.buecher.de/produkte/57/57926/57926610m.jpg)
Gebundenes Buch
Final Release
1. September 2019
Specification Publishing
Ähnlichkeitssuche: Fact®Finder von OMIKRON