Advanced search

Authors whose works are in public domain in at least one jurisdiction

List of works by Jonathan Bowen

Formal Specification and Documentation Using Z ⬇️

1996 book by Jonathan Bowen

Provably Correct Systems: Community, Connections, and Citations

Academic book chapter

The Turing Guide

2017 book on Alan Turing

Paulina is supported by:

About Paulina

Help