Larch: Languages and Tools for Formal Specification (Texts and Monographs in Computer Science) - Tapa dura

Guttag, John; Horning, James J.

 
9783540940067: Larch: Languages and Tools for Formal Specification (Texts and Monographs in Computer Science)
Tapa dura
ISBN 10: 3540940065 ISBN 13: 9783540940067
Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1993

Esta edición ISBN ya no está disponible.

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Año de publicación
1993
Idioma
Inglés
ISBN 10 
3540940065
ISBN 13 
9783540940067
Encuadernación
Tapa dura
Número de páginas
263
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  0387940065 ISBN 13:  9780387940069
Editorial: Springer-Verlag New York Inc., 1993
Tapa dura