Non-Fiction, Computing & Technology, Applications & Programming
Z

Z: An Introduction to Formal Methods

Paperback Published on: 03/05/1994
£58.95
No reviews yet, be the first
Free UK delivery on orders over £25
We can order this from the publisher
Usually dispatched within 2 weeks
Make and edit your lists in your account
No stock available in any shop.
We can order this from the publisher
Usually dispatched within 2 weeks
No stock available in any shop.

Synopsis

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.

Publisher information

  • Publisher: John Wiley & Sons Inc
  • ISBN: 9780471939733
  • Number of pages: 400
  • Dimensions: 247 x 168 x 23 mm
  • Weight: 680g
  • Languages: English

Customer Reviews