Del 3 - Cambridge Tracts in Theoretical Computer Science

Understanding Z

A Specification Language and its Formal Semantics

Häftad, Engelska, 2008

AvJ. M. Spivey,J. M. (University of Oxford) Spivey,Spivey J. M.

599 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2008-01-21
Mått170 x 239 x 8 mm
Vikt234 g
FormatHäftad
SpråkEngelska
SerieCambridge Tracts in Theoretical Computer Science
Antal sidor140
FörlagCambridge University Press
ISBN9780521054140

Tillhör följande kategorier

Mer från samma serie

Del 27

Programs, Recursion and Unbounded Choice

Wim H. Hesselink, Hesselink Wim H., C. J. van Rijsbergen

Häftad

779 kr

Del 23

Nets, Terms and Formulas

E. -R. Olderog, Germany) Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, E. R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad

779 kr

Del 34

Two-Level Functional Languages

Flemming Nielson, Hanne Riis Nielson, Denmark) Nielson, Flemming (Aarhus Universitet, Denmark) Nielson, Hanne Riis (Aarhus Universitet, C. J. van Rijsbergen

Häftad

859 kr

Del 19

Extensions of First-Order Logic

Maria Manzano, Maria (Universitat de Barcelona) Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad

1 149 kr

Del 40

Free Choice Petri Nets

Jorg Desel, Javier Esparza, Jorg (Humboldt-Universitat zu Berlin) Desel, Javier (University of Edinburgh) Esparza, C. J. van Rijsbergen

Häftad

689 kr

Del 32

The Logic of Typed Feature Structures

Robert L. Carpenter, Pennsylvania) Carpenter, Robert L. (Carnegie Mellon University, Bob Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad

779 kr