Cliff Jones - Böcker

Object Orientation with Parallelism and Persistence

Living History Anthology

Perspectives from ALHFAM

Living History Anthology

Perspectives from ALHFAM

Object Orientation with Parallelism and Persistence

Norvis

Mirrormaze

A Dreampunk Anthology

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

Symposium on Real-Time and Hybrid Systems

Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

FM 2014: Formal Methods

19th International Symposium, Singapore, May 12-16, 2014. Proceedings

VDM '87. VDM - A Formal Method at Work

VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings

5th Refinement Workshop

Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992

Communicating Sequential Processes. The First 25 Years

Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Rigorous Development of Complex Fault-Tolerant Systems

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods

4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings