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.

Détails du produit

• Auteurs: Spivey J. M., J. M. Spivey, J. M. (University of Oxford) Spivey, J.M. Spivey
• Edition: Cambridge University Press ELT
• Langues: Anglais
• Format d'édition: Livre de poche
• Sortie: 21.01.2008
• EAN: 9780521054140
• ISBN: 978-0-521-05414-0
• Pages: 140
• Thème: Cambridge Tracts in Theoretica
• Catégorie: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Langages de programmation