Skip to content
Scan a barcode
Scan
Paperback Software Development with Z: A Practical Approach to Formal Methods in Software Engineering Book

ISBN: 0201627574

ISBN13: 9780201627572

Software Development with Z: A Practical Approach to Formal Methods in Software Engineering

This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise... This description may be from another edition of this product.

Recommended

Format: Paperback

Condition: Very Good

$7.49
Save $25.46!
List Price $32.95
Almost Gone, Only 1 Left!

Customer Reviews

0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured