Ashutosh Trivedi - Böcker

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

2 produkter

Kategorier

2 produkter

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, Engelska, 2025

959 kr

Skickas inom 10-15 vardagar

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, Engelska, 2025

959 kr

Skickas inom 10-15 vardagar