An Introduction To Formal Specification And Z
Download An Introduction To Formal Specification And Z full books in PDF, epub, and Kindle. Read online free An Introduction To Formal Specification And Z ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
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: 330
Pages: 330
Type: BOOK - Published: 1991 - Publisher:
An introduction to the ideas of formal specification. Its features include discussions of formal methods of program development from specifications, and managem
Language: en
Pages: 300
Pages: 300
Type: BOOK - Published: 1990-12 - 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: 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: 412
Pages: 412
Type: BOOK - Published: 1996 - Publisher:
This book contains enough mnaterial for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the