Menu

Using Z: Specification Proof Refinement (Prentice-hall International Series in Computer Science)

Author: Jim Woodcock, Jim Davies

4.1 out of 5 stars (3 ratings)
Details
  • ISBN10: 0139484728
  • ISBN13: 9780139484728
  • Format: Paperback
  • Publisher: Prentice Hall
  • Published: 1996-03-22
  • Pages: 408
  • Weight: 100 grams
  • Size: 17.78x1.91x23.50 cm
₹644
Sold by Listmate (Ships in 1-3 days)
Free Shipping on orders above ₹499
Wishlist Menu Cart
Top