Klik op een omslag om naar Google Boeken te gaan.
Bezig met laden... Understanding Z: A Specification Language and its Formal Semantics (1988)door J. M. Spivey
Geen Bezig met laden...
Meld je aan bij LibraryThing om erachter te komen of je dit boek goed zult vinden. Op dit moment geen Discussie gesprekken over dit boek. Geen besprekingen geen besprekingen | voeg een bespreking toe
Onderdeel van de reeks(en)
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. Z is compared with other methods such as VDM and CLEAR, and in the final chapter, a number of studies in Z style are presented to show that Z can be used in a wide variety of specification tasks. This book will appeal to those who wish to deepen their understanding of the mathematical background of the Z method, those who want a concise definition of the language, and those interested in the design of specification languages. Geen bibliotheekbeschrijvingen gevonden. |
Actuele discussiesGeen
Google Books — Bezig met laden... GenresDewey Decimale Classificatie (DDC)005.13Information Computer Science; Knowledge and Systems Computer programming, programs, data, security Programming LanguagesLC-classificatieWaarderingGemiddelde:
Ben jij dit?Word een LibraryThing Auteur. |