Z: An Introduction to Formal Methods
$15.29 - $44.73
Best Sellers Rank: 4704415 in Books
Binding : Paperback
ISBN-10 : 0471939730
Language : English
Publisher : Wiley; 2nd edition
Publication Date : July 19, 1994
Pages : 400
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.