Skip to main content
PBS logo
 
 

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

Proof in Vdm: A Practitioner's Guide (Formal Approaches to Computing and Information Technology)
Proof in Vdm A Practitioner's Guide - Formal Approaches to Computing and Information Technology
Author: Juan C. Bicarregui, John S. Fitzgerald
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 comprehending forma...  more »
ISBN-13: 9780387198132
ISBN-10: 038719813X
Pages: 362
Rating:
  ?
0 stars, based on 0 rating
Publisher: Springer-Verlag Telos
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.