Larch languages and tools for formal specification

Saved in:

Bibliographic Details
Main Author:	Guttag, John
Other Authors:	Horning, James
Format:	Unknown
Published:	New York Springer-Verlag 1993
Series:	Texts and monographs in computer science
Subjects:	Larch (Computer program language) Electronic digital computers > Programming Computer software > Development
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet