The author provides an account of formal specification in an industrial setting. The volume takes a particular approach to the semantics of specification languages: the understanding that the meaning of specifications can be taken as presentations of logical theories is fundamental to that approach. An extension of the specification language VDM-SL is introduced and the formal semantics of VVSL are presented. The practical use of this language is further demonstrated by two detailed case studies which provide a ...
Read More
The author provides an account of formal specification in an industrial setting. The volume takes a particular approach to the semantics of specification languages: the understanding that the meaning of specifications can be taken as presentations of logical theories is fundamental to that approach. An extension of the specification language VDM-SL is introduced and the formal semantics of VVSL 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 essential reading for those employing formal specifications in software development.
Read Less
Add this copy of Logic and Specification: Extending Vdm-Sl for Advanced to cart. $5.76, good condition, Sold by Zubal Books rated 5.0 out of 5 stars, ships from Cleveland, OH, UNITED STATES, published 1993 by Chapman & Hall.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
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.
Add this copy of Logic and Specification: Extending Vdm-Sl for Advanced to cart. $46.17, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1993 by Chapman & Hall.
Add this copy of Logic and Specification: Extending Vdm-Sl for Advanced to cart. $61.78, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 1993 by Chapman & Hall.
Add this copy of Logic and Specification: Extending Vdm-Sl for Advanced to cart. $64.84, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 1993 by Chapman & Hall.
Add this copy of Logic and Specification to cart. $85.43, new condition, Sold by Media Smart rated 4.0 out of 5 stars, ships from Hawthorne, CA, UNITED STATES, published 1993 by Springer.
