Z: An Introduction to Formal Methods by Diller, Antoni

Z: An Introduction to Formal Methods (Paperback) (ISBN-13: 9780471939733)

Vendor: Antoni Diller
Product type: Books
Format: Paperback
$136.95
$136.95
$136.95
Subtotal: $136.95
Z: An Introduction to Formal Methods by Diller, Antoni

Z: An Introduction to Formal Methods

$136.95
Z: An Introduction to Formal Methods by Diller, Antoni

Z: An Introduction to Formal Methods

$136.95
Format: Paperback
Description
Description
x
A thorough and comprehensive tutorial introduction to Z. The author uses case studies to vividly illustrate all aspects of Z. With practical exercises and clear descriptions and explanations throughout, this updated edition will be required reading for all students and software engineers learning Z.

Author: Antoni Diller
ISBN-10: 0471939730
ISBN-13: 9780471939733
Publisher: Wiley
Language: English
Published: 07/19/1994
Pages: 400
Format: Paperback
Weight: 1.40lbs
Size: 9.67h x 6.61w x 0.85d
By Antoni Diller
By Antoni Diller
x

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

Recently Viewed Products