14 results
Type of media (2)
Availability (3)
Language (2)
Classification (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
14 results

Your search for Chris Hankin

  1. Cover: Principles of Program Analysis - Springer
    Flemming Nielson | Hanne R. Nielson | Chris Hankin
    Principles of Program Analysis
    02/2015
    Springer
    9783662038116 (ISBN)
    E-Book
    PDF
    Other editions
    €60.98
    Available for download
  2. Cover: Semantics, Logics, and Calculi - Springer
    Christian W. Probst | Chris Hankin | René Rydhof Hansen
    Semantics, Logics, and Calculi
    Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
    01/2016
    Springer
    9783319278100 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Principles of Program Analysis - Springer
    Flemming Nielson | Hanne R. Nielson | Chris Hankin
    Principles of Program Analysis
    12/2010
    Springer
    9783642084744 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €60.98
    Shipment within 7-9 days
  4. Cover: Semantics, Logics, and Calculi - Springer
    Christian W. Probst | Chris Hankin | René Rydhof Hansen
    Semantics, Logics, and Calculi
    Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
    12/2015
    Springer
    9783319278094 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  5. Cover: Coordination Programming: Mechanisms, Models And Semantics - Imperial College Press
    Jean-marc Andreoli | Chris Hankin | D. Le Metayer
    Coordination Programming: Mechanisms, Models And Semantics
    08/1996
    Imperial College Press
    9781860940231 (ISBN)
    Book
    Hardback
    Other editions
    €191.64
    Article not available at the moment
  6. Cover: Static Analysis - Springer
    Chris Hankin | Igor Siveroni
    Static Analysis
    12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings
    08/2005
    Springer
    9783540285847 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  7. Cover: Programming Languages and Systems - Springer
    Chris Hankin
    Programming Languages and Systems
    7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
    03/1998
    Springer
    9783540643029 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  8. Cover: Principles of Program Analysis - Springer
    Flemming Nielson | Hanne R. Nielson | Chris Hankin
    Principles of Program Analysis
    10/1999
    Springer
    9783540654100 (ISBN)
    Book
    Hardback
    Other editions
    €85.59
    Shipment within 10-15 days
  9. Cover: Coordination Languages and Models - Springer
    Paolo Ciancarini | Chris Hankin
    Coordination Languages and Models
    First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings.
    04/1996
    Springer
    9783540610526 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  10. Cover: Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop - Imperial College Press
    Chris Hankin | I. Mackie | Rajagopal Nagarajan
    Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop
    10/1995
    Imperial College Press
    9781860940033 (ISBN)
    Book
    Hardback
    Other editions
    €147.50
    Article not available at the moment
  11. Cover: Introducao Ao Calculo Lambda - College Publications
    Chris Hankin
    Introducao Ao Calculo Lambda
    08/2012
    College Publications
    9781848900844 (ISBN)
    Book
    Paperback/Softback
    €23.20
    Shipment within 10-20 days
  12. This image is currently not available.
    Chris Hankin
    Lambda Calculi
    10/1994
    Clarendon Press
    9780198538417 (ISBN)
    Book
    Hardback
    Other editions
    €30.95
    Exhausted; check different version
  13. Cover: An Introduction to Lambada Calculi for Computer Scientists - Kings College Publications
    Chris Hankin
    An Introduction to Lambada Calculi for Computer Scientists
    02/2004
    Kings College Publications
    9780954300654 (ISBN)
    Book
    Paperback/Softback
    €24.10
    Shipment within 10-20 days
  14. This image is currently not available.
    Samson Abramsky | Chris Hankin
    Abstract Interpretation of Declarative Languages
    11/1987
    Ellis Horwood Ltd , Publisher
    9780745801094 (ISBN)
    Book
    Hardback
    €71.87
    Exhausted; no reprint