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

Guttag, John V.; Horning, James J.; Garland, S. J.; Jones, K. D.; Modet, A.; Wing, J. M.

 
9783540940067: Larch: Languages and Tools for Formal Specification (Monographs in Computer Science)
Hardcover
ISBN 10: 3540940065 ISBN 13: 9783540940067
Verlag: Springer Berlin, 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.

Verlag
Springer Berlin
Erscheinungsdatum
1993
Sprache
Englisch
ISBN 10 
3540940065
ISBN 13 
9783540940067
Einband
Gebundene Ausgabe
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 (Monographs in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  0387940065 ISBN 13:  9780387940069
Verlag: Springer, 1993
Hardcover