LOW FLAT RATE $9.90 AUST-WIDE DELIVERY

Close Notification

Your cart does not contain any items

Z

An Introduction to Formal Methods

Antoni Diller (University of Birmingham)

$122.95

Paperback

Not in-store but you can order this
How long will it take?

QTY:

English
John Wiley & Sons Inc
03 May 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.
By:  
Imprint:   John Wiley & Sons Inc
Country of Publication:   United States
Edition:   2nd edition
Dimensions:   Height: 247mm,  Width: 168mm,  Spine: 23mm
Weight:   680g
ISBN:   9780471939733
ISBN 10:   0471939730
Pages:   400
Publication Date:  
Audience:   College/higher education ,  Professional and scholarly ,  Further / Higher Education ,  Undergraduate
Format:   Paperback
Publisher's Status:   Active

Antoni Diller is the author of Z: An Introduction to Formal Methods, 2nd Edition, published by Wiley.

See Also