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

Your search for Nir Piterman

  1. Cover: Hardware and Software: Verification and Testing - Springer
    Nir Piterman
    Hardware and Software: Verification and Testing
    11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
    10/2015
    Springer
    9783319262871 (ISBN)
    E-Book
    PDF
    Other editions
    €50.28
    Available for download
  2. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Nir Piterman | Scott Smolka
    Tools and Algorithms for the Construction and Analysis of Systems
    19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
    02/2013
    Springer
    9783642367427 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Nir Piterman | Scott Smolka
    Tools and Algorithms for the Construction and Analysis of Systems
    19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
    02/2013
    Springer
    9783642367410 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  4. Cover: Hardware and Software: Verification and Testing - Springer
    Nir Piterman
    Hardware and Software: Verification and Testing
    11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
    10/2015
    Springer
    9783319262864 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €51.36
    Shipment within 10-15 days
  5. Cover: Extending Temporal Logic with Omega-Automata - LAP Lambert Academic Publishing
    Nir Piterman
    Extending Temporal Logic with Omega-Automata
    The Automata Theoretic Techniques behind PSL Model Checking
    10/2009
    LAP Lambert Academic Publishing
    9783838322063 (ISBN)
    Book
    Paperback/Softback
    €49.00
    Shipment within 7-9 days