von SpringerTaschenbuch Details (USA) Details (Kanada) ISBN-13: 978-3-642-17337-0 ISBN-10: 3-642-17337-3 Springer · 2012 |
S. auch (eventuell von anderen Autoren): | ||
2011 | Gebundene Ausgabe | Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series) |