Items related to Logic and Specification: Extending Vdm-Sl for Advanced...
Logic and Specification: Extending Vdm-Sl for Advanced Formal Specification (Computer Science : Research and Practice) - Hardcover
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.
"synopsis" may belong to another edition of this title.
- PublisherChapman & Hall
- Publication date1993
- ISBN 10 0412486806
- ISBN 13 9780412486807
- BindingHardcover
- LanguageEnglish
- Edition number1
- Number of pages404
Search results for Logic and Specification: Extending Vdm-Sl for Advanced...
Stock Image
Logic and Specification: Extending VDM-SL for Advanced Formal Specification (Computer Science : Research and Practice)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. *Price HAS BEEN REDUCED by 10% until Monday, April 21 (weekend sale item)* 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
Quantity: 1 available
Stock Image
Logic And Specification: Extending Vdm-sl For Advanced Formal Specification
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-340621
Quantity: 1 available
Stock Image
Logic And Specification: Extending Vdm-sl For Advanced Formal Specification
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABTA-350452
Quantity: 1 available
Stock Image
Logic and Specification
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 261456949
Quantity: 1 available
Stock Image
Logic and Specification
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 6391018
Quantity: 1 available
Stock Image
Logic and Specification
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 181456959
Quantity: 1 available