Description
Condition: BRAND NEW
ISBN: 9780471939733
Year: 1994
Publisher: John Wiley & Sons (UK)
Pages: 400
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.
ISBN: 9780471939733
Year: 1994
Publisher: John Wiley & Sons (UK)
Pages: 400
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.