Z: An Introduction to Formal Methods
📄 Viewing lite version
Full site ›
Book Details
Author(s)Antoni Diller
PublisherWiley
ISBN / ASIN0471939730
ISBN-139780471939733
AvailabilityUsually ships in 24 hours
Sales Rank789,318
CategoryComputers
MarketplaceUnited States 🇺🇸
Description ▲
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.
More Books in Computers
CONCUR'93: 4th International Conference on Concurrency…
View
HTML5 Games: Creating Fun with HTML5, CSS3, and WebGL
View
Advanced Techniques for Assessment Surface Topography:…
View
Java Gently for Engineers and Scientists (Internationa…
View
Beginning Microsoft SQL Server 2008 Administration
View
Purely Functional Data Structures (Volume 0)
View
Exam Cram 2 Java 2 Programmer: Exam Cram 310-035
View
Adobe Dreamweaver Creative Cloud: Comprehensive (Stay …
View