Detail Image
click to view more

Z An Introduction to Formal Methods

by [Diller, Antoni]

$156.69

add to favourite
  • In Stock - Ship in 24 hours with Free Online tracking.
  • FREE DELIVERY by Monday, May 05, 2025
  • 24/24 Online
  • Yes High Speed
  • Yes Protection
Tell-A-Friend
Last update:

Description

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.

Last updated on

Product Details

  • Wiley Brand
  • Jul 19, 1994 Pub Date:
  • 9780471939733 ISBN-13:
  • 0471939730 ISBN-10:
  • 400.0 pages Paperback
  • English Language
  • 9.7 in * 0.9 in * 6.61 in Dimensions:
  • 2 lb Weight: