booktheque

Unifying Theories of Programming

Jonathan P. Bowen, Huibiao Zhu · 2017

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
2017
Publisher
Springer
Editions
1
Pages
226
ISBN
9783319522272

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
Theories of Programming and Formal Methods
Jonathan P. Bowen · 2023
EVA London 2020
Jonathan P. Bowen · 2020
EVA London 2018
Jonathan P. Bowen · 2018