Skip to content
Home/ Proof in VDM: A Practitioner's Guide (Softcover Reprint of the Original 1st 1994)
Proof in VDM: A Practitioner's Guide (Softcover Reprint of the Original 1st 1994)

Proof in VDM: A Practitioner's Guide (Softcover Reprint of the Original 1st 1994)

by Bicarregui, Juan C
No customer reviews yet ISBN 9783540198130

About the author

Product details

Pub dateDec 1, 1993
ISBN-10354019813X
ISBN-139783540198130
LanguageEnglish
Last updated 2026-08-15 05:49
$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 Software Development & Engineering - General
See all
Estimating Software Costs: Bringing Realism to Estimating
Jones, Capers
$93.63
Applied Software Measurement: Global Analysis of Productivity and Quality
Jones, Capers
$114.65
Software Engineering Best Practices: Lessons from Successful Projects in the Top Companies
Jones, Capers
$106.33
Oracle Crm on Demand Dashboards
Lairson, Michael D
$23.17
HTML5 for IOS and Android: A Beginner's Guide
Nixon, Robin
$40.96
Linux Programming: A Beginner's Guide
Petersen, Richard
$25.95