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

Your search for Nicolas Halbwachs

  1. Cover: Synchronous Programming of Reactive Systems - Springer
    Nicolas Halbwachs
    Synchronous Programming of Reactive Systems
    06/2013
    Springer
    9781475722314 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Computer Aided Verification - Springer
    Nicolas Halbwachs | Doron Peled
    Computer Aided Verification
    11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
    07/2003
    Springer
    9783540486831 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Synchronous Programming of Reactive Systems - Springer
    Nicolas Halbwachs
    Synchronous Programming of Reactive Systems
    12/2010
    Springer
    9781441951335 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 15-20 days
  4. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Nicolas Halbwachs | Lenore Zuck
    Tools and Algorithms for the Construction and Analysis of Systems
    11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings
    03/2005
    Springer
    9783540253334 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  5. Cover: Computer Aided Verification - Springer
    Nicolas Halbwachs | Doron Peled
    Computer Aided Verification
    01/2014
    Springer
    9783662192832 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available
  6. Cover: Computer Aided Verification - Springer
    Nicolas Halbwachs | Doron Peled
    Computer Aided Verification
    11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
    06/1999
    Springer
    9783540662020 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  7. Cover: Synchronous Programming of Reactive Systems - Kluwer Academic Publishers
    Nicolas Halbwachs
    Synchronous Programming of Reactive Systems
    12/1992
    Kluwer Academic Publishers
    9780792393115 (ISBN)
    Book
    Hardback
    Other editions
    €53.49
    Shipment within 15-20 days