Hoppa till sidans huvudinnehåll

Cliff B. Jones - Böcker

Visar alla böcker från författaren Cliff B. Jones.
15 produkter
Del 370 - Springer International Series in Engineering and Computer Science

Object Orientation with Parallelism and Persistence

Av Burkhard Freitag, Cliff B. Jones m. fl

Inbunden, Engelska, 1996

2 119 kr

Skickas inom 10-15 vardagar

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

Av Cliff B. Jones, A.W. Roscoe m. fl

Häftad, Engelska, 2014

2 059 kr

Skickas inom 10-15 vardagar

Theories of Programming

The Life and Works of Tony Hoare

Av Cliff B. Jones, Jayadev Misra m. fl

Inbunden, Engelska, 2021

899 kr

Skickas inom 10-15 vardagar

Theories of Programming

The Life and Works of Tony Hoare

Av Cliff B. Jones, Jayadev Misra m. fl

Häftad, Engelska, 2021

609 kr

Skickas inom 10-15 vardagar

Object Orientation with Parallelism and Persistence

Av Burkhard Freitag, Cliff B. Jones m. fl

Häftad, Engelska, 2011

2 119 kr

Skickas inom 10-15 vardagar

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

Av Cliff B. Jones, A.W. Roscoe m. fl

Inbunden, Engelska, 2010

2 059 kr

Skickas inom 10-15 vardagar

Understanding Programming Languages

Av Cliff B. Jones

Inbunden, Engelska, 2020

1 019 kr

Skickas inom 10-15 vardagar

Understanding Programming Languages

Av Cliff B. Jones

Häftad, Engelska, 2021

729 kr

Skickas inom 10-15 vardagar

5th Refinement Workshop

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

Av Cliff B. Jones, Roger C. Shaw m. fl

Häftad, Engelska, 1992

729 kr

Skickas inom 10-15 vardagar

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

Av Ali E. Abdallah, Cliff B. Jones m. fl

Häftad, Engelska, 2005

729 kr

Skickas inom 10-15 vardagar

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods

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

Av John Fitzgerald, Cliff B. Jones m. fl

Häftad, Engelska, 1997

1 449 kr

Skickas inom 10-15 vardagar

Formal Methods and Hybrid Real-Time Systems

Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Av Cliff B. Jones, Zhiming Liu m. fl

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar

Theoretical Aspects of Computing - ICTAC 2007

4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

Av Cliff B. Jones, Zhiming Liu m. fl

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar

Methods, Models and Tools for Fault Tolerance

Av Michael Butler, Cliff B. Jones m. fl

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar

Dependable and Historic Computing

Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday

Av Cliff B. Jones, John L. Lloyd

Häftad, Engelska, 2011

709 kr

Skickas inom 10-15 vardagar