Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science): Specification Proof Refinement

Product Image: Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science): Specification Proof Refinement

Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science): Specification Proof Refinement

Name: Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science): Specification Proof Refinement
Brand: Prentice Hall
Availability: OutOfStock
Rating: 5 (1 reviews)

By Jim Woodcock

0 - Default Title

Product details

Binding:

Paperback

Edition:

1

Number of Pages:

408

Release Date:

1996-04-30

Publication Date:

1996-04-30

Publisher:

Prentice Hall

Languages:

Published: English, Original: English

ISBN10:

0139484728

Weight:

590 g

Buy on Amazon

Currently sold out