Skip to content
Home/ VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Eu
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Eu

VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Eu

No customer reviews yet ISBN 9783540525134

This volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering. The proceedings published by VDM Europe have the distinguished mark that they are concerned with bringing real theory to apply to real programming.

About the author

Product details

Pub dateApr 4, 1990
ISBN-103540525130
ISBN-139783540525134
LanguageEnglish
Last updated 2026-07-22 17:48
$57.47
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Logic Design
See all
Logic Circuit Design
Shaw, Alan W
$338.71
Signal and Power Integrity in Digital Systems: TTL, CMOS, and BICMOS
Buchanan, James E
$61.24
Photodiode Amplifiers: Op Amp Solutions
Graeme, Jerald G
$101.94
Introduction to Logic Design [With CDROM]
Marcovitz, Alan B
$105.50
Introduction to Logic Design (Revised)
Marcovitz, Alan B
$298.12
System-On-Chip Test Architectures: Nanometer Design for Testability Volume .
Wang, Laung-Terng
$83.70