Skip to main content
PBS logo
 
 

Search - Vdm '90: Vdm and Z-Formal Methods in Software Development (Lecture Notes in Computer Science)

Vdm '90: Vdm and Z-Formal Methods in Software Development (Lecture Notes in Computer Science)
Vdm '90 Vdm and Z-Formal Methods in Software Development - Lecture Notes in Computer Science
Author: D. Bjorner, C. A. R. Hoare
The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering, Z refers to Zermelo, a mathematician whose name is associated with set theory. Many computing science, programming and software engineering proceedings are published regularly. The ones by VDM ...  more »
ISBN-13: 9780387525136
ISBN-10: 0387525130
Pages: 580
Rating:
  ?
0 stars, based on 0 rating
Publisher: Springer
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review



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 - 2025 PaperBackSwap.com. All Rights Reserved.