Skip to main content
PBS logo
 
 

Search - Proof in VDM: A Practitioner's Guide (Formal Approaches to Computing and Information Technology (FACIT))

Proof in VDM: A Practitioner's Guide (Formal Approaches to Computing and Information Technology (FACIT))
Proof in VDM A Practitioner's Guide - Formal Approaches to Computing and Information Technology FACIT
Author: Juan C. Bicarregui, John S. Fitzgerald, Peter A. Lindsay, Richard Moore, Brian Ritchie
Proof in VDM: A Practitioners' Guide is a textbook and manual on the practical aspects of using and constructing proofs in the specification and development of computing systems. Many introductory courses on formal techniques are, by their nature, unable to cover the pragmatics of proof. Practitioners competent in writing and comprehendin...  more »
ISBN-13: 9783540198130
ISBN-10: 354019813X
Publication Date: 12/20/1993
Pages: 362
Edition: 1
Rating:
  ?
0 stars, based on 0 rating
Publisher: Springer
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.