booktheque

Theories of Programming and Formal Methods

Jonathan P. Bowen, Qin Li, Qiwen Xu · 2023

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
2023
Language
English
Publisher
Springer
Editions
1
ISBN
9783031404351

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
ZUM '95: The Z Formal Specification Notation
Jonathan P. Bowen · 1995
Engineering Trustworthy Software Systems
Jonathan P. Bowen · 2026
EVA London 2020
Jonathan P. Bowen · 2020
EVA London 2018
Jonathan P. Bowen · 2018
Unifying Theories of Programming
Jonathan P. Bowen · 2017