Logic and Specifications: Extending VDM-SL for Advanced Formal Specification (Chapman & Hall Computer Science: Research & Practice Series) - Hardcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Logic and Specifications: Extending VDM-SL for Advanced...
Stock Image
Logic and Specification: Extending Vdm-Sl for Advanced Formal Specification (Computer Science : Research and Practice)
Seller: HPB Inc., Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_455385657
Stock Image
Logic and Specification: Extending Vdm-Sl for Advanced Formal Specification (Computer Science : Research and Practice)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 261456949
Stock Image
Logic and Specification: Extending Vdm-Sl for Advanced Formal Specification (Computer Science : Research and Practice)
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 6391018
Buy New
£ 59.30
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Logic and Specification: Extending Vdm-Sl for Advanced Formal Specification (Computer Science : Research and Practice)
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 181456959