Items related to Proof in Vdm: a Practitioner's Guide (Formal Approaches...
Proof in Vdm: a Practitioner's Guide (Formal Approaches to Computing and Information Technology) - Softcover
Synopsis
Proof in VDM A manual which explores the practical aspects of constructing proofs in the specification and development of computing systems. All techniques are illustrated with numerous worked examples and use the basic data types of the VDM specification language.
"synopsis" may belong to another edition of this title.
Search results for Proof in Vdm: a Practitioner's Guide (Formal Approaches...
Stock Image
Proof in Vdm: A Practitioner's Guide
Published by
Springer-Verlag New York Inc., 1993
ISBN 10: 038719813X
ISBN 13: 9780387198132
Used
Softcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Bon. Ancien livre de bibliothèque. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # F-933-955
Quantity: 1 available
Stock Image
Proof in Vdm: A Practitioner*s Guide (Formal Approaches to Computing and Information Technology)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: New. New. book. Seller Inventory # ERICA829038719813X6
Quantity: 1 available