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
Windows XP, Vol. 1 (SELECT Series)
View
Internet Searching and Indexing: The Subject Approach
View
Control Problems in Industry: Proceedings from the SIA…
View
Open Source Systems Security Certification
View
Java: Data Structures and Programming
View
User-Centered Web Development
View
Query Processing in Database Systems (Topics in Inform…
View
Fundamentals of SQL Server 2005
View
Dreamweaver CS4: The Missing Manual (Spanish Edition)
View