Articoli correlati a Larch: Languages and Tools for Formal Specification

Larch: Languages and Tools for Formal Specification - Rilegato

Guttag, John; Horning, James J.

 
9783540940067: Larch: Languages and Tools for Formal Specification
Rilegato
ISBN 10: 3540940065 ISBN 13: 9783540940067
Casa editrice: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1993

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Data di pubblicazione
1993
Lingua
Inglese
ISBN 10 
3540940065
ISBN 13 
9783540940067
Rilegatura
Copertina rigida
Numero di pagine
263
Contatto del produttore
non disponibile
Persona responsabile
non disponibile