Larch: Languages and Tools for Formal Specification - Couverture rigide

Guttag, John; Horning, James J.

 
9783540940067: Larch: Languages and Tools for Formal Specification
Couverture rigide
ISBN 10 : 3540940065 ISBN 13 : 9783540940067
Editeur : 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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Date d'édition
1993
Langue
anglais
ISBN 10 
3540940065
ISBN 13 
9783540940067
Reliure
Relié
Nombre de pages
263
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9780387940069: Larch: Languages and Tools for Formal Specification

Edition présentée

ISBN 10 :  0387940065 ISBN 13 :  9780387940069
Editeur : Springer-Verlag New York Inc., 1993
Couverture rigide