Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Author / Cliff B. Jones

Books by author

Cliff B. Jones

Theories of Programming: The Life and Works of Tony Hoare

Theories of Programming: The Life and Works of Tony Hoare

2021 · ENGLISH · PDF

View details →

Understanding Programming Languages

Understanding Programming Languages

2021 · ENGLISH · PDF

View details →

Understanding Programming Languages

Understanding Programming Languages

2020 · ENGLISH · PDF

View details →

Reflections on the Work of C.A.R. Hoare

Reflections on the Work of C.A.R. Hoare

2010 · ENGLISH · PDF

View details →

Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday

Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday

2011 · ENGLISH · PDF

View details →

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

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

2005 · ENGLISH · PDF

View details →

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

2007 · ENGLISH · PDF

View details →

Rigorous Development of Complex Fault-Tolerant Systems

Rigorous Development of Complex Fault-Tolerant Systems

2006 · ENGLISH · PDF

View details →

Object Orientation with Parallelism and Persistence

Object Orientation with Parallelism and Persistence

1996 · ENGLISH · PDF

View details →

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

1987 · ENGLISH · PDF

View details →

Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday

Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday

2011 · ENGLISH · PDF

View details →

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

2007 · ENGLISH · PDF

View details →

Reflections on the Work of C.A.R. Hoare

Reflections on the Work of C.A.R. Hoare

2010 · ENGLISH · PDF

View details →

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings

1987 · ENGLISH · DJVU

View details →

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

2007 · ENGLISH · PDF

View details →

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

2007 · ENGLISH · PDF

View details →

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

2007 · ENGLISH · PDF

View details →

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

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

2005 · ENGLISH · PDF

View details →

Rigorous Development of Complex Fault-Tolerant Systems

Rigorous Development of Complex Fault-Tolerant Systems

2006 · ENGLISH · PDF

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme