Browse Categories
Arts
Business
Computers
Games
Health
Home
Kids and Teens
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
About Nomoz
Contact Us
Options:
Directory
Entire Web
Top
:
Computers
:
Programming
:
Languages
:
Z
:
Books
:
Formal Specification and Documentation using Z: A Case Study Approach
Link Details for:
Formal Specification and Documentation using Z: A Case Study Approach
Link Title:
Formal Specification and Documentation using Z: A Case Study Approach
Link URL:
http://www.afm.sbu.ac.uk/zbook/
Link Details:
By Jonathan Bowen; International Thomson Publishing, 1996, ISBN 1850322309. Textbook presents use of formal methods via case study series. Contents, foreword, preface, ordering, review extract. [World Wide Web Virtual Library]
Category:
Top : Computers : Programming : Languages : Z : Books
Link Type:
ScreenShot: