Book
Formal Specification Using Z
Formal specification is a technique for specifying what is required of a computer system. Z is a leading notation for formal specification. Each chapter of this introductory work is followed by a set of exercises, and sample solutions are provided for all of these in an appendix. «
Score:
Reviews:
Times tipped:
Times read:
Author(s):
Category:
ISBN
9780333763278
Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Reviews of Formal Specification Using Z by David Lightfoot
There are no reviews for this book yet.
Idea box
