Z

8,007.00

An Introduction to Formal Methods

This book is currently not in stock. You are pre-ordering this book.

ISBN: 9780471939733 Category:

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.