Z++: Object-Oriented (programming), Specification Language, Object-Z - Brossura

 
9786133269941: Z++: Object-Oriented (programming), Specification Language, Object-Z

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.