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

Your search for Howard Barringer

  1. Cover: Runtime Verification - Springer
    Howard Barringer | Ylies Falcone | Bernd Finkbeiner
    Runtime Verification
    First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
    11/2010
    Springer
    9783642166129 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Runtime Verification - Springer
    Howard Barringer | Ylies Falcone | Bernd Finkbeiner
    Runtime Verification
    First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
    10/2010
    Springer
    9783642166112 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  3. Cover: Advances in Temporal Logic - Springer
    Howard Barringer | Michael Fisher | Dov M. Gabbay
    Advances in Temporal Logic
    12/2010
    Springer
    9789048153893 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €160.49
    Shipment within 15-20 days
  4. Cover: Temporal Logic in Specification - Springer
    Behnam Banieqbal | Howard Barringer | Amir Pnueli
    Temporal Logic in Specification
    Altrincham, UK, April 8-10, 1987, Proceedings
    10/1989
    Springer
    9783540518037 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  5. Cover: A Survey of Verification Techniques for Parallel Programs - Springer
    Howard Barringer
    A Survey of Verification Techniques for Parallel Programs
    05/1985
    Springer
    9783540152392 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €24.60
    Shipment within 10-15 days
  6. Cover: Advances in Temporal Logic - Kluwer Academic Publishers
    Howard Barringer | Michael Fisher | Dov M. Gabbay
    Advances in Temporal Logic
    12/1999
    Kluwer Academic Publishers
    9780792361497 (ISBN)
    Book
    Hardback
    Other editions
    €160.49
    Shipment within 15-20 days
  7. This image is currently not available.
    H. Barringer | BARRINGER | R. Owens
    Imperative Future
    Princip Execut CL
    04/1996
    Taylor & Francis
    9780471961307 (ISBN)
    Book
    Hardback
    €75.90
    Exhausted; no reprint