Hoppa till sidans huvudinnehåll

Cliff Jones - Böcker

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

Object Orientation with Parallelism and Persistence

AvBurkhard Freitag,Cliff B. Jones,Christian Lengauer,Hans-Jörg Schek,Cliff Jones

Inbunden, Engelska, 1996

2 089 kr

Skickas inom 10-15 vardagar

Living History Anthology

Perspectives from ALHFAM

AvMartha B. Katz-Hyman,Cliff Jones,Susan J. McCabe,Mary Seelhorst

Inbunden, Engelska, 2018

2 759 kr

Skickas inom 10-15 vardagar

Living History Anthology

Perspectives from ALHFAM

AvMartha B. Katz-Hyman,Cliff Jones,Susan J. McCabe,Mary Seelhorst

Häftad, Engelska, 2019

739 kr

Skickas inom 10-15 vardagar

Object Orientation with Parallelism and Persistence

AvBurkhard Freitag,Cliff B. Jones,Christian Lengauer,Hans-Jörg Schek,Cliff Jones

Häftad, Engelska, 2011

2 089 kr

Skickas inom 10-15 vardagar

Norvis

AvCliff Jones

Häftad, Engelska, 2013

449 kr

Skickas inom 5-8 vardagar

Mirrormaze

A Dreampunk Anthology

AvCliff Jones

Häftad, Engelska, 2020

249 kr

Skickas inom 5-8 vardagar

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

AvDenis Besnard,Cristina Gacek,Cliff Jones

Häftad, Engelska, 2005

1 409 kr

Skickas inom 10-15 vardagar

Del 11180 - Lecture Notes in Computer Science

Symposium on Real-Time and Hybrid Systems

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

AvCliff Jones,Ji Wang,Naijun Zhan

Häftad, Engelska, 2018

709 kr

Skickas inom 10-15 vardagar

Del 8442 - Lecture Notes in Computer Science

FM 2014: Formal Methods

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

AvCliff Jones,Pekka Pihlajasaari,Jun Sun

Häftad, Engelska, 2014

1 409 kr

Skickas inom 10-15 vardagar

VDM '87. VDM - A Formal Method at Work

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

AvDines Bjørner,Cliff Jones,Michael Mac An Airchinnigh,Erich J. Neuhold

Häftad, Engelska, 1987

709 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,Tim Denvir,Cliff Jones

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,Jeff W. Sanders,Cliff Jones

Häftad, Engelska, 2005

709 kr

Skickas inom 10-15 vardagar

Rigorous Development of Complex Fault-Tolerant Systems

AvMichael Butler,Cliff Jones,Alexander Romanovsky,Elena Troubitsyna

Häftad, Engelska, 2006

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,Peter Lucas,Cliff Jones

Häftad, Engelska, 1997

1 409 kr

Skickas inom 10-15 vardagar