Издательство: | Книга по требованию |
Дата выхода: | июль 2011 |
ISBN: | 978-6-1331-8066-6 |
Объём: | 120 страниц |
Масса: | 203 г |
Размеры(В x Ш x Т), см: | 23 x 16 x 1 |
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Object-Z is an object-oriented extension to the Z notation developed at the University of Queensland, Australia. Object-Z extends Z by the addition of language constructs resembling the object-oriented paradigm, most notably, classes. Other object-oriented notions such as polymorphism and inheritance are also supported. While not as popular as its base language Z, Object-Z has still received significant attention in the formal methods community, and research on aspects of the language are ongoing, including hybrid languages using Object-Z, tool support (e.g., through the Community Z Tools project) and refinement calculi.
Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.