Z

Name: Z: An Introduction to Formal Methods
Brand: John Wiley & Sons Inc
SKU: 9780471939733
Price: 4765.00 INR
Availability: InStock

An Introduction to Formal Methods

by Antoni Diller

John Wiley & Sons Inc · 1994 · Paperback

₹4,765

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

Z: An Introduction to Formal Methods by Antoni Diller is a 394-page paperback edition published by John Wiley & Sons Inc in 1994. The original work dates from 1990.

The book deals with Z (Computer program language), Formal methods (Computer science), Z (langage de programmation) and Computer programs.