Understanding Z - A Specification Language and Its Formal Semantics

Klappentext This book provides a standard framework for understanding Z specifications. Zusammenfassung 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. Inhaltsverzeichnis Preface; 1. Introduction; 2. Basic concepts; 3. The semantics of Z; 4. Discussion; 5. Studies in Z style; References; Summary of notation; Index of definitions.

Dettagli sul prodotto

• Autori: Spivey J. M., J. M. Spivey, J. M. (University of Oxford) Spivey, J.M. Spivey
• Editore: Cambridge University Press ELT
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 21.01.2008
• EAN: 9780521054140
• ISBN: 978-0-521-05414-0
• Pagine: 140
• Serie: Cambridge Tracts in Theoretica
• Categoria: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Linguaggi di programmazione