Larch: Languages and Tools for Formal Specification (Monographs in Computer Science)
Full Title: | Larch: Languages and Tools for Formal Specification (Monographs in Computer Science) |
---|---|
ISBN: | 1461276365 |
ISBN13: | 9781461276364 |
List Price: | USD $99.00 |
Authors: |
Guttag, John V. Horning, James J. |