The Way of Z

Practical Programming with Formal Methods

Häftad, Engelska, 1996

1 339 kr

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

This 1997 book is a self-contained tutorial on Z, a formal notation for modelling, specifying and designing computer systems and software, for experienced professionals and serious students in programming and software engineering. It presents realistic case studies emphasising safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading.

Produktinformation

Utgivningsdatum1996-11-28
Mått178 x 234 x 23 mm
Vikt789 g
FormatHäftad
SpråkEngelska
Antal sidor372
FörlagCambridge University Press
ISBN9780521559768

Tillhör följande kategorier

Part I. Why Z?: 1. Formal methods; 2. Why use formal methods?; 3. Formal methods and project management; Part II. Introducing Z: 4. What is Z?; 5. A first example in Z; 6. From prose to Z: control console; 7. Introducing schemas: text editor; Part III. Elements of Z: 8. Elements; 9. Structure; 10. Logic; 11. Synthesis; 12. Schemas and schema calculus; 13. Schema types and bindings; 14. Generic definitions and free types; 15. Formal reasoning; Part IV. Studies in Z: 16. Document control system; 17. Text processing; 18. Eight queens; 19. Computer graphics and computational geometry; 20. Rule-based programming; 21. Graphical user interface; 22. Safety-critical protection system; 23. Modelling large systems; 24. Concurrency and real time; 25. Object-oriented programming; Part V. From Z to Code: 26. Program derivation and formal verification; 27. From Z to code.

Mer från samma författare

Model-Based Software Testing and Analysis with C#

Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte

Häftad, 2007

869 kr

Model-Based Software Testing and Analysis with C#

Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte

Inbunden, 2007

1 889 kr

Directions and Implications of Advanced Computing

Douglas Schuler, Jonathan Jacky

Inbunden, 1990

379 kr

Du kanske också är intresserad av

Model-Based Software Testing and Analysis with C#

Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte

Inbunden, 2007

1 889 kr

Directions and Implications of Advanced Computing

Douglas Schuler, Jonathan Jacky

Inbunden, 1990

379 kr

Model-Based Software Testing and Analysis with C#

Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte

Häftad, 2007

869 kr

Nyhet

Del 11

Medusa

Lars Kepler

Inbunden, 2026

289 kr319 kr

Ruth Kvarnström-Jones - Systrarna på Sophiahemmet, Inbunden

Nyhet

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

299 kr329 kr

Katarina Wennstam - Moder blod, Inbunden

Nyhet

Del 4

Moder blod

Katarina Wennstam

Inbunden, 2026

269 kr299 kr

Ruth Kvarnström-Jones - Väninnorna på Nordiska Kompaniet, Pocket

4 pocket för 3

Del 2

Väninnorna på Nordiska Kompaniet

Ruth Kvarnström-Jones

Pocket, 2025

129 kr

Nyhet

Del 4

Sot

Sara Strömberg

Pocket, 2026

79 kr129 kr

Del 1

Sly

Sara Strömberg

Pocket, 2022

79 kr129 kr

Del 3

Skinn

Sara Strömberg

Pocket, 2024

79 kr129 kr

The Way of Z

Practical Programming with Formal Methods

Häftad, Engelska, 1996

AvJonathan Jacky

1 339 kr

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

Produktinformation

Utgivningsdatum1996-11-28
Mått178 x 234 x 23 mm
Vikt789 g
FormatHäftad
SpråkEngelska
Antal sidor372
FörlagCambridge University Press
ISBN9780521559768

Tillhör följande kategorier

Part I. Why Z?: 1. Formal methods; 2. Why use formal methods?; 3. Formal methods and project management; Part II. Introducing Z: 4. What is Z?; 5. A first example in Z; 6. From prose to Z: control console; 7. Introducing schemas: text editor; Part III. Elements of Z: 8. Elements; 9. Structure; 10. Logic; 11. Synthesis; 12. Schemas and schema calculus; 13. Schema types and bindings; 14. Generic definitions and free types; 15. Formal reasoning; Part IV. Studies in Z: 16. Document control system; 17. Text processing; 18. Eight queens; 19. Computer graphics and computational geometry; 20. Rule-based programming; 21. Graphical user interface; 22. Safety-critical protection system; 23. Modelling large systems; 24. Concurrency and real time; 25. Object-oriented programming; Part V. From Z to Code: 26. Program derivation and formal verification; 27. From Z to code.