Logic and Specification: Extending Vdm-Sl for Advanced Formal Specification - Rilegato

Middelburg, Cornelis A.

 
9780412486807: Logic and Specification: Extending Vdm-Sl for Advanced Formal Specification
Rilegato
ISBN 10: 0412486806 ISBN 13: 9780412486807
Casa editrice: Chapman & Hall, 1993

Sinossi

The author takes a particular approach to the semantics of specification languages, and the understanding that the meaning of specification can be taken as presentations of logical theories is fundamental to that approach. An extension of the specification language VDM-SL is introduced and its formal semantics are presented. The practical use of this language is further demonstrated by two detailed case studies which provide a comprehensive picture of the relational approach to databases, and are useful reading for those employing formal specifications in software developments. Annotation copyright Book News, Inc. Portland, Or.

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

Product Description

Book by Middelburg Cornelis A

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

Editore
Chapman & Hall
Data di pubblicazione
1993
Lingua
Inglese
ISBN 10 
0412486806
ISBN 13 
9780412486807
Rilegatura
Copertina rigida
Numero di pagine
404
Contatto del produttore
non disponibile
Persona responsabile
non disponibile