James J. Horning

2 books • 2 series

Oct 1, 2011
Cover of Larch: Languages and Tools for Formal Specification

Larch: Languages and Tools for Formal Specification (Monographs in Computer Science)

Mar 5, 1993
Cover of Larch

Larch (Texts and Monographs in Computer Science)