Textbook

Books Price Comparison (Including Amazon) - Guaranteed Lowest Prices on Books


 

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

 
 
 
 
Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science)
Author: Jim Woodcock - J. C. P. Woodcock - Jim Davies
ISBN 13: 9780139484728
ISBN 10: 139484728
Edition: N/A
Publisher: Prentice Hall
Publication Date: 1996-05
Format: Textbook Binding
Pages: 386
List Price: $34.00