Z 2e: An Introduction to Formal Methods

by Antoni Diller (Author)

• Used

  Paperback
  1994

  $3.25

  Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.

• New

  Paperback
  1994

  $69.01

  Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.