Ashutosh Trivedi – författare

Visar alla böcker från författaren Ashutosh Trivedi.

2 produkter

1. 

   Verification, Model Checking, and Abstract Interpretation

   26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I

   Av Krishna Shankaranarayanan, Sriram Sankaranarayanan m. fl.

   Häftad, 2025

   949 kr

   Lägg i varukorg

2. 

   Verification, Model Checking, and Abstract Interpretation

   26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II

   Av Krishna Shankaranarayanan, Sriram Sankaranarayanan m. fl.

   Häftad, 2025

   949 kr

   Lägg i varukorg