Hoppa till sidans huvudinnehåll

Cliff B. Jones - Böcker

Visar alla böcker från författaren Cliff B. Jones.
15 produkter

Object Orientation with Parallelism and Persistence

AvBurkhard Freitag,Cliff B. Jones m. fl.

Inbunden, Engelska, 1996

2 069 kr

Skickas inom 10-15 vardagar

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

AvCliff B. Jones,A.W. Roscoe m. fl.

Häftad, Engelska, 2014

2 009 kr

Skickas inom 10-15 vardagar

Theories of Programming

The Life and Works of Tony Hoare

AvCliff B. Jones,Jayadev Misra m. fl.

Inbunden, Engelska, 2021

849 kr

Skickas inom 10-15 vardagar

Theories of Programming

The Life and Works of Tony Hoare

AvCliff B. Jones,Jayadev Misra m. fl.

Häftad, Engelska, 2021

579 kr

Skickas inom 10-15 vardagar

Object Orientation with Parallelism and Persistence

AvBurkhard Freitag,Cliff B. Jones m. fl.

Häftad, Engelska, 2011

2 079 kr

Skickas inom 10-15 vardagar

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

AvCliff B. Jones,A.W. Roscoe m. fl.

Inbunden, Engelska, 2010

2 019 kr

Skickas inom 10-15 vardagar

Understanding Programming Languages

AvCliff B. Jones

Inbunden, Engelska, 2020

999 kr

Skickas inom 10-15 vardagar

Understanding Programming Languages

AvCliff B. Jones

Häftad, Engelska, 2021

719 kr

Skickas inom 10-15 vardagar

5th Refinement Workshop

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

AvCliff B. Jones,Roger C. Shaw m. fl.

Häftad, Engelska, 1992

709 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

AvAli E. Abdallah,Cliff B. Jones m. fl.

Häftad, Engelska, 2005

709 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

AvJohn Fitzgerald,Cliff B. Jones m. fl.

Häftad, Engelska, 1997

1 419 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

AvCliff B. Jones,Zhiming Liu m. fl.

Häftad, Engelska, 2007

709 kr

Skickas inom 10-15 vardagar

Theoretical Aspects of Computing - ICTAC 2007

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

AvCliff B. Jones,Zhiming Liu m. fl.

Häftad, Engelska, 2007

709 kr

Skickas inom 10-15 vardagar

Methods, Models and Tools for Fault Tolerance

AvMichael Butler,Cliff B. Jones m. fl.

Häftad, Engelska, 2009

719 kr

Skickas inom 10-15 vardagar

Dependable and Historic Computing

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

AvCliff B. Jones,John L. Lloyd

Häftad, Engelska, 2011

689 kr

Skickas inom 10-15 vardagar