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

Your search for Sharon Shoham

  1. Cover: Verification, Model Checking, and Abstract Interpretation - Springer
    Fritz Henglein | Sharon Shoham | Yakir Vizel
    Verification, Model Checking, and Abstract Interpretation
    22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings
    01/2021
    Springer
    9783030670672 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  2. Cover: Verification, Model Checking, and Abstract Interpretation - Springer
    Fritz Henglein | Sharon Shoham | Yakir Vizel
    Verification, Model Checking, and Abstract Interpretation
    22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings
    01/2021
    Springer
    9783030670665 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €96.29
    Shipment within 7-9 days
  3. Cover: Computer Aided Verification - Springer
    Sharon Shoham | Yakir Vizel
    Computer Aided Verification
    34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
    08/2022
    Springer
    9783031131844 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days
  4. Cover: Computer Aided Verification - Springer
    Sharon Shoham | Yakir Vizel
    Computer Aided Verification
    34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II
    08/2022
    Springer
    9783031131875 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days