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

Your search for Peter O'Hearn

  1. Cover: Algol-like Languages - Birkhäuser
    Peter O'Hearn | Robert Tennent
    Algol-like Languages
    03/2013
    Birkhäuser
    9781475738513 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  2. Cover: Algol-like Languages - Birkhäuser
    Peter O'Hearn | Robert Tennent
    Algol-like Languages
    03/2013
    Birkhäuser
    9781461241188 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  3. Cover: Verified Software: Theories, Tools, Experiments - Springer
    Gary T. Leavens | Peter O'Hearn | Sriram K. Rajamani
    Verified Software: Theories, Tools, Experiments
    Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
    08/2010
    Springer
    9783642150579 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Verified Software: Theories, Tools, Experiments - Springer
    Gary T. Leavens | Peter O'Hearn | Sriram K. Rajamani
    Verified Software: Theories, Tools, Experiments
    Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
    08/2010
    1st EDN1st Edition
    Springer
    9783642150562 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  5. Cover: Algol-like Languages - Birkhauser Boston Inc
    Peter O'Hearn | Robert Tennent
    Algol-like Languages
    03/2013
    Birkhauser Boston Inc
    9781475738537 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 15-20 days
  6. Cover: Algol-like Languages - Springer-Verlag New York Inc.
    Peter O'Hearn | Robert Tennent
    Algol-like Languages
    10/2011
    Springer-Verlag New York Inc.
    9781461286615 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 15-20 days
  7. Cover: Algol-like Languages - Birkhauser Boston Inc
    Peter O'Hearn | Robert Tennent
    Algol-like Languages
    12/1996
    Birkhauser Boston Inc
    9780817639372 (ISBN)
    Book
    Hardback
    Other editions
    €106.99
    Shipment within 15-20 days
  8. Cover: Algol-like Languages - Birkhauser Boston Inc
    Peter O'Hearn | Robert Tennent
    Algol-like Languages
    12/1996
    Birkhauser Boston Inc
    9780817638801 (ISBN)
    Book
    Hardback
    Other editions
    €106.99
    Shipment within 15-20 days
  9. Cover: Algol-like Languages - Birkhauser Boston Inc
    Peter O'Hearn | Robert Tennent
    Algol-like Languages
    12/1996
    Birkhauser Boston Inc
    9780817639365 (ISBN)
    Book
    Hardback
    Other editions
    €106.99
    Exhausted, reprint undefined