Z : An Introduction to Formal Methods

ISBN

9780471939733

Skip to the beginning of the images gallery

$129.95

Author	Diller, Antoni
Format	Paperback
Details	Dimensions:9.7" x 6.6" x 0.9" Status:Active Record Product Type:Individual Title Product Format:Books Edition Information:Revised Copyright Year:1994 Number of Pages:394 Illustrated:Yes Media Class:Print Carton Qty:30 LC Classification Number:QA76.73.Z2D55 1994

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.