booktheque

ZUM '95: The Z Formal Specification Notation

Jonathan P. Bowen · 1995

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
1995
Language
English
Publisher
Springer
Editions
1
Pages
569
ISBN
9783540602712

Data source: Wikidata

More by Jonathan P. Bowen

Electronic Visualisation in Arts and Culture
Jonathan P. Bowen · 2013
High-Integrity System Specification and Design
Jonathan P. Bowen · 1999
The Z formal specification notation
Jonathan P. Bowen · 1998
The Z formal specification notation
Jonathan P. Bowen · 1997
ZB 2003
Jonathan P. Bowen · 2003
Engineering Trustworthy Software Systems
Jonathan P. Bowen · 2026
Theories of Programming and Formal Methods
Jonathan P. Bowen · 2023
EVA London 2020
Jonathan P. Bowen · 2020
EVA London 2018
Jonathan P. Bowen · 2018
Unifying Theories of Programming
Jonathan P. Bowen · 2017