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

Your search for Clark Barrett

  1. Cover: NASA Formal Methods - Springer
    Clark Barrett | Misty Davies | Temesghen Kahsai
    NASA Formal Methods
    9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
    04/2017
    Springer
    9783319572888 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Algorithms for Verifying Deep Neural Networks - now publishers Inc
    Changliu Liu | Tomer Arnon | Christopher Lazarus
    Algorithms for Verifying Deep Neural Networks
    02/2021
    now publishers Inc
    9781680837865 (ISBN)
    Book
    Paperback/Softback
    €126.28
    Shipment within 10-20 days
  3. Cover: Identifying and Mitigating the Security Risks of Generative AI - now publishers Inc
    Clark Barrett | Brad Boyd | Elie Bursztein
    Identifying and Mitigating the Security Risks of Generative AI
    01/2024
    now publishers Inc
    9781638283126 (ISBN)
    Book
    Paperback/Softback
    €78.13
    Shipment within 3-4 weeks
  4. Cover: NASA Formal Methods - Springer
    Clark Barrett | Misty Davies | Temesghen Kahsai
    NASA Formal Methods
    9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
    04/2017
    Springer
    9783319572871 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  5. Cover: Automated Deduction - CADE 30 - Springer
    Clark Barrett | Uwe Waldmann
    Automated Deduction - CADE 30
    30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings
    07/2025
    Springer
    9783031999833 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Exhausted; no reprint
  6. Cover: QED and Symbolic QED - now publishers Inc
    Keerthikumara Devarajegowda | Florian Lonsing | Mohammad R. Fadiheh
    QED and Symbolic QED
    Dramatic Improvements in Pre-Silicon Verification and Post-Silicon Validation
    10/2024
    now publishers Inc
    9781638289982 (ISBN)
    Book
    Hardback
    €114.09
    Not available