Understanding Z: A Specification Language and its Formal Semantics - Brossura

Spivey, J

Brossura

ISBN 10: 0521054141 ISBN 13: 9780521054140

Casa editrice: Cambridge University Press, 2008

Riassunto

This book provides a standard framework for understanding Z specifications.

Su questo libro

Recensione

"The book is very well written and accurate, and the graphics are good." Computing Reviews

"The reader finds a well written book on a special rather technical topic...As such it is valuable for those who seek to understand the language Z in more detail..." Zentralblatt fur Mathematik

Descrizione del libro

The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications.

Dettagli dell'edizione

• Editore: Cambridge University Press
• Data di pubblicazione: 2008
• Lingua: Inglese
• ISBN 10: 0521054141
• ISBN 13: 9780521054140
• Rilegatura: Copertina flessibile
• Numero edizione: 1
• Numero di pagine: 140
• Contatto del produttore: non disponibile
• Persona responsabile: GPSR Kontakt; gpsr@libri.de; ; Europaallee 1; Bad Hersfeld; 36244; Germania