Articles liés à Larch: Languages and Tools for Formal Specification

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

L'édition de cet ISBN n'est malheureusement plus disponible.

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