Software Development with Z

Name: Software Development with Z: A Practical Approach to Formal Methods in Software Engineering
Brand: Addison Wesley
SKU: 9780201627572
Price: 4174.00 INR
Availability: InStock

A Practical Approach to Formal Methods in Software Engineering

by J. Wordsworth

Addison Wesley · 1992

₹4,174

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

Software Development with Z: A Practical Approach to Formal Methods in Software Engineering by J. Wordsworth is a 336-page book published by Addison Wesley in 1992. It belongs to the International computer science series series.

Its main subjects are Development, Formal methods (Computer science), Z (Computer program language) and Computer software.