The Essence of Z : Software Engineering with Objects and Components

Currie, Ed, Pooley, R. J., Stevens, Perdita

ISBN 10: 013749839X / ISBN 13: 9780137498390

Editore: Prentice Hall PTR, 1999

Riguardo questo articolo

Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Codice articolo 6696546-6

Dati bibliografici

Titolo: The Essence of Z : Software Engineering with...

Casa editrice: Prentice Hall PTR

Data di pubblicazione: 1999

Legatura: Brossura

Condizione: Very Good

Descrizione articolo

Riassunto:

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.