Detailed Information
URL: http://www.afm.sbu.ac.uk/zbook/Title: Formal Specification and Documentation using Z: A Case Study Approach
Description: 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]
Directory: Computers/Programming/Languages/Z/Books
|