Search results for ‘Cliff B. Jones’

Filter & Refine

    Cover image for Understanding Programming Languages
    Hardback
    Add to list Added to list

    Understanding Programming Languages

    Cliff B. Jones

    The book concludes with a discussion of the eight key challenges: delimiting a language (concrete representation), delimiting the abstract content of a language, recording semantics (deterministic languages), operational semantics (non-determinism)…

    $194.99

    Available to order, ships in 7-14 daysAvailable to order

    Paperback
    Add to list Added to list

    Understanding Programming Languages

    Cliff B. Jones

    The book concludes with a discussion of the eight key challenges: delimiting a language (concrete representation), delimiting the abstract content of a language, recording semantics (deterministic languages), operational semantics (non-determinism)…

    $195.99

    Available to order, ships in approx 4 weeksAvailable to order

    Cover image for Theories of Programming: The Life and Works of Tony Hoare
    Hardback
    Add to list Added to list

    Theories of Programming: The Life and Works of Tony Hoare

    Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program verification. This book presents the essence…

    $156.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for Theories of Programming: The Life and Works of Tony Hoare
    Paperback
    Add to list Added to list

    Theories of Programming: The Life and Works of Tony Hoare

    Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program verification. This book presents the essence…

    $104.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday
    Paperback
    Add to list Added to list

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

    This Festschrift volume, published in honor of Brian Randell on the occasion of his 75th birthday, contains a total of 37 refereed contributions.

    $138.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
    Paperback
    Add to list Added to list

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

    This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007.

    $138.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
    Paperback
    Add to list Added to list

    Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

    The volume includes 25 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Macao, China, in the course of the International Colloquium…

    $138.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings
    Paperback
    Add to list Added to list

    FME ‘97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings

    This book constitutes the refereed proceedings of FME ‘97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods , held in…

    $276.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for 5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992
    Paperback
    Add to list Added to list

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

    Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations.

    $138.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for Reflections on the Work of C.A.R. Hoare
    Hardback
    Add to list Added to list

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

    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…

    $407.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for Reflections on the Work of C.A.R. Hoare
    Paperback
    Add to list Added to list

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

    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…

    $407.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for Methods, Models and Tools for Fault Tolerance
    Paperback
    Add to list Added to list

    Methods, Models and Tools for Fault Tolerance

    The complexity of modern software systems makes it difficult to ensure the dependability of software-intensive systems. This book is based on the workshop on Methods, Models and Tools for Fault…

    $138.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for 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
    Paperback
    Add to list Added to list

    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

    This book commemorates the work done by Tony Hoare and published under the title Communicating Sequential Processes in the 1978 August issue of the Communications of ACM. The British Computer…

    $138.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for Object Orientation with Parallelism and Persistence
    Paperback
    Add to list Added to list

    Object Orientation with Parallelism and Persistence

    Burkhard Freitag,Cliff B. Jones,Christian Lengauer,Hans-Joerg Schek

    Both object orientation and parallelism are modern programming paradigms which have gained much popularity in the last 10-15 years. Object Orientation with Parallelism and Persistence will be of interest to…

    $407.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for Object Orientation with Parallelism and Persistence
    Hardback
    Add to list Added to list

    Object Orientation with Parallelism and Persistence

    Burkhard Freitag,Cliff B. Jones,Christian Lengauer,Hans-Joerg Schek

    Both object orientation and parallelism are modern programming paradigms which have gained much popularity in the last 10-15 years. Object Orientation with Parallelism and Persistence will be of interest to…

    $407.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for The Living History Anthology: Perspectives from ALHFAM
    Hardback
    Add to list Added to list

    The Living History Anthology: Perspectives from ALHFAM

    Produced in partnership with the Association for Living History, Farm and Agricultural Museums (AFLHAM), the volume presents some of the highlights of the association’s Bulletin and Proceedings publications.

    $283.99

    Available to order, ships in approx 2 weeksAvailable to order

    Cover image for The Living History Anthology: Perspectives from ALHFAM
    Paperback
    Add to list Added to list

    The Living History Anthology: Perspectives from ALHFAM

    Produced in partnership with the Association for Living History, Farm and Agricultural Museums (AFLHAM), the volume presents some of the highlights of the association’s Bulletin and Proceedings publications.

    $77.99

    Available to order, ships in approx 2 weeksAvailable to order