Reflections on the Work of C.A.R. Hoare 1
bokomslag Reflections on the Work of C.A.R. Hoare
Data & IT

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

Cliff B Jones • A W Roscoe • Kenneth R Wood

Pocket

2209:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-15 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 430 sidor
  • 2014
Written in honor of Sir Tony Hoare's 75th Birthday, this book provides a discussion of the influence of Hoare's work on current research from an international selection of expert contributors. Includes a scientific biography, listing his most influential work.
  • Författare: Cliff B Jones, A W Roscoe, Kenneth R Wood
  • Format: Pocket/Paperback
  • ISBN: 9781447161523
  • Språk: Engelska
  • Antal sidor: 430
  • Utgivningsdatum: 2014-11-22
  • Förlag: Springer London Ltd

Du kanske gillar

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

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

    Cliff B Jones, A W Roscoe, Kenneth R Wood

    Inbunden

    2209:-
  2. bokomslag Theories of Programming

    Theories of Programming

    Jayadev Misra Cliff B Jones

    Pocket

    809:-
  3. bokomslag Understanding Programming Languages

    Understanding Programming Languages

    Cliff B Jones

    Inbunden

    1049:-
  4. bokomslag Seminar on Concurrency

    Seminar on Concurrency

    Stephen D Brookes, Andrew W Roscoe, Glynn Winskel

    Pocket

    749:-
  5. bokomslag Understanding Programming Languages

    Understanding Programming Languages

    Cliff B Jones

    Pocket

    749:-
  6. bokomslag 5th Refinement Workshop

    5th Refinement Workshop

    Cliff B Jones, Roger C Shaw, Tim Denvir

    Pocket

    749:-
  7. bokomslag Theories of Programming

    Theories of Programming

    Jayadev Misra Cliff B Jones

    Inbunden

    1169:-
  8. bokomslag Formal Methods and Hybrid Real-Time Systems

    Formal Methods and Hybrid Real-Time S...

    Cliff B Jones, Zhiming Liu, Jim Woodcock

    Pocket

    749:-
  9. bokomslag Taste the Bread: 30 Children's Sermons on Communion

    Taste the Bread: 30 Children's Sermon...

    Phyllis Vos Wezeman, Anna L Liechty, Kenneth R Wezeman

    Häftad

    229:-
  10. bokomslag Dependable and Historic Computing

    Dependable and Historic Computing

    John L Lloyd Cliff B Jones

    Pocket

    749:-

Andra av samma författare

  1. bokomslag Object Orientation with Parallelism and Persistence

    Object Orientation with Parallelism a...

    Burkhard Freitag, Cliff B Jones, Christian Lengauer, Hans-Jrg Schek

    Inbunden

    2339:-
  2. bokomslag Understanding Concurrent Systems

    Understanding Concurrent Systems

    A W Roscoe

    Pocket

    749:-
  3. bokomslag Theories of Programming

    Theories of Programming

    Jayadev Misra Cliff B Jones

    Inbunden

    1169:-
  4. bokomslag Theories of Programming

    Theories of Programming

    Jayadev Misra Cliff B Jones

    Pocket

    809:-
  5. bokomslag Object Orientation with Parallelism and Persistence

    Object Orientation with Parallelism a...

    Burkhard Freitag, Cliff B Jones, Christian Lengauer, Hans-Jrg Schek

    Pocket

    2339:-
  6. bokomslag Understanding Programming Languages

    Understanding Programming Languages

    Cliff B Jones

    Inbunden

    1049:-
  7. bokomslag Understanding Programming Languages

    Understanding Programming Languages

    Cliff B Jones

    Pocket

    749:-
  8. bokomslag 5th Refinement Workshop

    5th Refinement Workshop

    Cliff B Jones, Roger C Shaw, Tim Denvir

    Pocket

    749:-
  9. bokomslag Communicating Sequential Processes. The First 25 Years

    Communicating Sequential Processes. T...

    Ali E Abdallah, Cliff B Jones, Jeff W Sanders

    Pocket

    749:-
  10. bokomslag FME '97 Industrial Applications and Strengthened Foundations of Formal Methods

    FME '97 Industrial Applications and S...

    John Fitzgerald, Cliff B Jones, Peter Lucas

    Pocket

    1479:-