• العربية

Using Standard Z.

More Views

  • Using Z: Specification, Refinement, and Proof
  • Using Z: Specification, Refinement, and Proof
  • Using Z: Specification, Refinement, and Proof

Using Standard Z.: Specification, Proof and Refinement

Author : Davies, Jim

This book covers all aspects of the Z notation, including specification, rigorous and formal proof, and refinements into code. It sets out to explain the principles and practice of formal development
$119.78
Special Price: $114.63
  • Author:
  • Davies, Jim
  • ISBN:
  • 0139484728
  • isbn-13
  • 9780139484728
  • Publisher:
  • Pearson Education (US)
  • Cover:
  • Paperback
  • Pub. Year:
  • 01-04-1994
  • SKU
  • 9780139484728
  • Number of Units
  • N/A
  • Pages:
  • 408