Related Books
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: 0
Pages: 0
Type: BOOK - Published: 2012-11-02 - Publisher: Springer
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: 324
Pages: 324
Type: BOOK - Published: 1996 - Publisher:
Language: en
Pages: 146
Pages: 146
Type: BOOK - Published: 1999-12-31 - Publisher: Springer
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: 382
Pages: 382
Type: BOOK - Published: 1997 - Publisher: Cambridge University Press
A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997.