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

Guttag, John; Horning, James J.

 
9783540940067: Larch: Languages and Tools for Formal Specification (Texts and Monographs in Computer Science)
Hardcover
ISBN 10: 3540940065 ISBN 13: 9783540940067
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1993

Synopsis

This monograph addresses the use of formal specification languages and supporting tools. Concentrating on the Larch specification work taking place at DEC and MIT, it discusses the use of formal specifications in program development and introduces the notation of mathematical logic.

"synopsis" may belong to another edition of this title.

Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publication date
1993
Language
English
ISBN 10 
3540940065
ISBN 13 
9783540940067
Binding
Hardcover
Number of pages
263

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  0387940065 ISBN 13:  9780387940069
Publisher: Springer-Verlag New York Inc., 1993
Hardcover