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

Your search for Mirco Giacobbe

  1. Cover: AI Verification - Springer
    Mirco Giacobbe | Anna Lukina
    AI Verification
    Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21-22, 2025, Proceedings
    10/2025
    Springer
    9783031999918 (ISBN)
    E-Book
    PDF
    Other editions
    €60.98
    Available for download
  2. 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
  3. Cover: AI Verification - Springer
    Mirco Giacobbe | Anna Lukina
    AI Verification
    Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21-22, 2025, Proceedings
    10/2025
    Springer
    9783031999901 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €62.05
    Shipment within 15-20 days
  4. 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