by: John V. Guttag · James J. Horning
Hardcover
ISBN: 978-0-387-94006-9
ISBN-10: 0-387-94006-5
Springer · 1993
|
|
by: John V. Guttag · James J. HorningHardcover
ISBN: 978-0-387-94006-9 ISBN-10: 0-387-94006-5 Springer · 1993 |
| See also: | ||
| 1993 | Gebundene Ausgabe | Larch, Languages and Tools for Formal Specification (Texts and Monographs in Computer Science) |