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
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1993

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Erscheinungsdatum
1993
Sprache
Englisch
ISBN 10 
3540940065
ISBN 13 
9783540940067
Einband
Tapa dura
Anzahl der Seiten
263
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

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