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

Your search for Ashutosh Trivedi

  1. Cover: Verification, Model Checking, and Abstract Interpretation - Springer
    Krishna Shankaranarayanan | Sriram Sankaranarayanan | Ashutosh Trivedi
    Verification, Model Checking, and Abstract Interpretation
    26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
    01/2025
    Springer
    9783031827037 (ISBN)
    E-Book
    PDF
    Other editions
    €69.54
    Available for download
  2. Cover: Verification, Model Checking, and Abstract Interpretation - Springer
    Krishna Shankaranarayanan | Sriram Sankaranarayanan | Ashutosh Trivedi
    Verification, Model Checking, and Abstract Interpretation
    26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
    01/2025
    Springer
    9783031827006 (ISBN)
    E-Book
    PDF
    Other editions
    €69.54
    Available for download
  3. Cover: Verification, Model Checking, and Abstract Interpretation - Springer
    Krishna Shankaranarayanan | Sriram Sankaranarayanan | Ashutosh Trivedi
    Verification, Model Checking, and Abstract Interpretation
    26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
    01/2025
    Springer
    9783031827020 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €69.54
    Shipment within 15-20 days
  4. Cover: Verification, Model Checking, and Abstract Interpretation - Springer
    Krishna Shankaranarayanan | Sriram Sankaranarayanan | Ashutosh Trivedi
    Verification, Model Checking, and Abstract Interpretation
    26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
    01/2025
    Springer
    9783031826993 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €69.54
    Shipment within 15-20 days
  5. This image is currently not available.
    Islam Ali | Ashutosh Trivedi
    Contemporary Africa
    Issues and Concerns
    01/2011
    Global Vision Publishing House
    9788182203716 (ISBN)
    Book
    Hardback
    €75.10
    Available (delivery time upon request)