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

Your search for John Hatcliff

  1. Cover: Formal Techniques for Distributed Systems - Springer
    John Hatcliff | Elena Zucca
    Formal Techniques for Distributed Systems
    Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
    06/2010
    Springer
    9783642134647 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Hubert Garavel | John Hatcliff
    Tools and Algorithms for the Construction and Analysis of Systems
    9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
    07/2003
    Springer
    9783540365778 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  3. Cover: Formal Techniques for Distributed Systems - Springer
    John Hatcliff | Elena Zucca
    Formal Techniques for Distributed Systems
    Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
    06/2010
    1st EDN1st Edition
    Springer
    9783642134630 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  4. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Hubert Garavel | John Hatcliff
    Tools and Algorithms for the Construction and Analysis of Systems
    9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
    03/2003
    Springer
    9783540008989 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  5. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Hubert Garavel | John Hatcliff
    Tools and Algorithms for the Construction and Analysis of Systems
    01/2014
    Springer
    9783662186091 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  6. Cover: Partial Evaluation: Practice and Theory - Springer
    John Hatcliff | Torben Mogensen | Peter Thiemann
    Partial Evaluation: Practice and Theory
    DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998
    11/1999
    Springer
    9783540667100 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  7. Cover: Foundations of the Bandera Abstraction Tools - Bibliogov
    John Hatcliff
    Foundations of the Bandera Abstraction Tools
    07/2013
    Bibliogov
    9781289157760 (ISBN)
    Book
    Paperback/Softback
    €34.49
    No shipping information available