Logic and Specification: Extending VDM-SL for Advanced Formal Specification (Computer Science : Research and Practice)

Cornelis A. Middelburg

ISBN 10: 0412486806 / ISBN 13: 9780412486807

Published by Chapman & Hall, 1993

404 pp., Hardcover, spine damaged, small hand stamp to bottom edge else good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB778540

Synopsis:

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.

Bibliographic Details

Title: Logic and Specification: Extending VDM-SL ...
Publisher: Chapman & Hall
Publication Date: 1993
Binding: Hardcover
Condition: Good