Cover Image

Larch : languages and tools for formal specification /

Show other versions (1)
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)
Description
Physical Description:250 pages
Bibliography:Includes bibliographical references and index.
ISBN:0387940065 (U.S.)