The Essence of Z is an exciting new publication that is ideal for a first course in formal specification using Z. In simple, straightforward terms, and assuming little previous mathematical knowledge, the book provides a clear understanding of how to use Z to construct specifications for software and other systems. Each new concept is reinforced by many exercises and examples, and several larger case studies are included to develop the skills necessary for specification development and to provide a clear context for the subject.
"synopsis" may belong to another edition of this title.
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Paperback. Condition: Fair. A readable copy of the book which may include some defects such as highlighting and notes. Cover and pages may be creased and show discolouration. Seller Inventory # GOR007310071
Quantity: 1 available
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # GRP15984228
Quantity: Over 20 available
Seller: madelyns books, Suffolk, United Kingdom
Paperback. Condition: Used: Like New. like new condition. unused.Speedy despatch from the u/k 0.0. Seller Inventory # 0630PLV8U7M
Quantity: 1 available