Larch
Subtitle: Languages and Tools for Formal Specification
Publisher: Springer; Springer New York
Published: Oct 01, 2011
Format: paperback
Number of pages: 263
ISBN-13: 9781461276364
Notes: Source title: Larch: Languages and Tools for Formal Specification (Monographs in Computer Science)