Larch : languages and tools for formal specification /

Bibliographic Details
Main Author:	Guttag, John V., 1949-
Other Authors:	Horning, J. J. (James J.)
Format:	Book
Language:	English
Published:	New York : Springer-Verlag, [1993]
Subjects:	Computer programming. Computer software > Development. Larch (Computer program language)

Remote Storage