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

Your search for Guy Avni

  1. Cover: AI Verification - Springer
    Guy Avni | Mirco Giacobbe | Taylor T. Johnson
    AI Verification
    First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings
    07/2024
    Springer
    9783031651120 (ISBN)
    E-Book
    PDF
    Other editions
    €128.39
    Available for download
  2. This image is currently not available.
    Guy Avni | Christian Schilling
    AI Verification
    Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24-25, 2026, Proceedings
    approx. 08/2026
    Springer
    9783032323569 (ISBN)
    Book
    Paperback/Softback
    €70.61
    Not yet published
  3. Cover: AI Verification - Springer
    Guy Avni | Mirco Giacobbe | Taylor T. Johnson
    AI Verification
    First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings
    07/2024
    Springer
    9783031651113 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €139.09
    Shipment within 15-20 days