Related Books
Language: en
Pages: 456
Pages: 456
Type: BOOK - Published: 1996 - Publisher:
Following the sucess of the first edition, the authors have updated and revised this bestselling textbook to take into account the changes in the subject over t
Language: en
Pages: 412
Pages: 412
Language: en
Pages: 328
Pages: 328
Type: BOOK - Published: 1994 - Publisher: McGraw-Hill Companies
Offering an introduction to formal specification using the Z notation, this practical text makes use of a series of case studies, of varying complexity, to illu
Language: en
Pages: 155
Pages: 155
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism.
Language: en
Pages: 144
Pages: 144
Type: BOOK - Published: 1988-03-31 - Publisher: Cambridge University Press
The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the cla