von: Dines Bjørner · Martin C. Henson
Taschenbuch
ISBN-13: 978-3-642-09345-6
ISBN-10: 3-642-09345-0
Springer · 2010
|
|
von: Dines Bjørner · Martin C. HensonTaschenbuch
ISBN-13: 978-3-642-09345-6 ISBN-10: 3-642-09345-0 Springer · 2010 |
| S. auch: | ||
| 2007 | Gebundene Ausgabe | Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series) |