Z: An Introduction to Formal Methods

Name: Z: An Introduction to Formal Methods
Brand: Wiley
SKU: ByrdShop_0471939730
Price: 65.63 USD
Availability: InStock

paperback – July 26, 1994

by Diller, Antoni

$65.63 USD

Sale Sold out

Shipping calculated at checkout.

Quantity

Secure Checkout

Quality Guaranteed

New In Stock

ISBN-13: 9780471939733 ISBN-10: 0471939730

Publisher

Wiley

Binding

paperback

Published

July 26, 1994

Weight

1.7 lbs

Dimensions

24.30×2.30×17.00 cm

About this book

Z: An Introduction to Formal Methods by Diller, Antoni. paperback edition. ISBN: 9780471939733.

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.