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

Your search for Arie Gurfinkel

  1. Cover: Verified Software: Theories, Tools, and Experiments - Springer
    Arie Gurfinkel | Sanjit A. Seshia
    Verified Software: Theories, Tools, and Experiments
    7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
    02/2016
    Springer
    9783319296135 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Computer Aided Verification - Springer
    Arie Gurfinkel | Vijay Ganesh
    Computer Aided Verification
    36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II
    07/2024
    Springer
    9783031656293 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days
  3. Cover: Computer Aided Verification - Springer
    Arie Gurfinkel | Vijay Ganesh
    Computer Aided Verification
    36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I
    07/2024
    Springer
    9783031656262 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days
  4. Cover: Computer Aided Verification - Springer
    Arie Gurfinkel | Vijay Ganesh
    Computer Aided Verification
    36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III
    07/2024
    Springer
    9783031656323 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days
  5. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Arie Gurfinkel | Marijn Heule
    Tools and Algorithms for the Construction and Analysis of Systems
    31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
    05/2025
    Springer
    9783031906428 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days
  6. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Arie Gurfinkel | Marijn Heule
    Tools and Algorithms for the Construction and Analysis of Systems
    31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
    05/2025
    Springer
    9783031906527 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days
  7. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Arie Gurfinkel | Marijn Heule
    Tools and Algorithms for the Construction and Analysis of Systems
    31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
    05/2025
    Springer
    9783031906596 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days
  8. Cover: Verified Software: Theories, Tools, and Experiments - Springer
    Arie Gurfinkel | Sanjit A. Seshia
    Verified Software: Theories, Tools, and Experiments
    7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
    01/2016
    Springer
    9783319296128 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days