Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Z++ (pronounced zed plus plus) was an object-oriented extension to the Z specification language. Z++ is an object-oriented extension to the Z specification language, allowing for the definition of classes, and the relation of classes through inheritance, association or aggregation. The primary construct of Z++ is a class. A Z++ class consists of a number of clauses which are optional.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.