Formal Software Development

Name: Formal Software Development: From VDM to Java
Brand: Palgrave Macmillan
SKU: 9780333992814
Price: 4748.00 INR
Availability: InStock

From VDM to Java

by Quentin Charatan, Aaron Kans

Palgrave Macmillan · 2003 · Paperback

₹4,748

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Formal Software Development: From VDM to Java is written by Quentin Charatan & Aaron Kans. This paperback edition from Palgrave Macmillan (2003) has 256 pages.

Its main subjects are Development, Formal methods (Computer science), Computer software and Software engineering.