Web Directory
 

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 Open in a new window
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: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Formal Specification and Documentation using Z: A Case Study Approach