von: John V. Guttag · James J. Horning
Gebunden
ISBN: 978-3-540-94006-7
ISBN-10: 3-540-94006-5
Springer, B. · 1993
|
|
von: John V. Guttag · James J. HorningGebunden
ISBN: 978-3-540-94006-7 ISBN-10: 3-540-94006-5 Springer, B. · 1993 |
| Siehe auch: | ||
| 1993 | Hardcover | Larch: Languages and Tools for Formal Specification (Monographs in Computer Science) |