The Way of Z: Practical Programming with Formal Methods - Image 1

£44.15

Cambridge University Press The Way of Z: Practical Programming with Formal Methods

Name: The Way of Z: Practical Programming with Formal Methods
Brand: Cambridge University Press
Price: 44.15 GBP
Availability: InStock

Illustrations

Introduction to Programming

About as cheap as it gets. The only time it was cheaper was 3 months ago.

£44 today · all-time low £44 (Feb 2026) · usually £44

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 80 days • 80 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 80 days • 1 price levels

Days at Price

Price Analysis

Most common price: £44 (80 days, 100.0%)

Price range: £44 - £44

Price levels: 1 different prices over 80 days

Description

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.

Product Specifications

Brand: Cambridge University Press
Model: Illustrations
Format: paperback
ASIN: 0521559766
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 13 March 1997
Listed Since: 22 January 2007

Barcode

No barcode data available

Cambridge University Press The Way of Z: Practical Programming with Formal Methods

About as cheap as it gets. The only time it was cheaper was 3 months ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Z User Workshop, Cambridge 1994: Proceedings of the Eighth Z User Meeting, Cambridge 29–30 June 1994 (Workshops in Computing)

Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java

Practical Design Verification

Formal Software Development: From VDM to Java

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings: 9276 (Lecture Notes in Computer Science, 9276)

Specifying Software: A Hands-On Introduction

Software Engineering with OBJ: Algebraic Specification in Action: 2 (Advances in Formal Methods, 2)

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Software Engineering with OBJ: Algebraic Specification in Action: 2 (Advances in Formal Methods, 2)

Formal Methods, Informally: How to Write Programs That Work

Approaches and Applications of Deep Learning in Virtual Medical Care (Advances in Healthcare Information Systems and Administration)

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Design Pattern Formalization Techniques

Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings: 1954 (Lecture Notes in Computer Science, 1954)

Springer - Formal Methods and Models for System Design Book

Formal Specification and Design: 35 (Cambridge Tracts in Theoretical Computer Science, Series Number 35)

ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and ... in Computer and Information Science, 433)

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Specification and Transformation of Programs: A Formal Approach to Software Development (Monographs in Computer Science)

Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 ― December 1, 2017, Proceedings: 10623 (Lecture Notes in Computer Science, 10623)

Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs

Thinking About Programs (ACM Books)

Springer - Logics of Specification Languages Monograph