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.
Z
₹8,007.00
An Introduction to Formal Methods
This book is currently not in stock. You are pre-ordering this book.
Related products
-
Children's / Teenage: General interest
Generation Code: I’m an HTML Web Page Builder
₹10.00 Pre-Order -
-
Sale!
