Ashutosh Trivedi – författare

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

2 produkter

Kategorier

2 produkter

Del 15529
Del 15529 - Lecture Notes in Computer Science
Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I
AvKrishna Shankaranarayanan,Sriram Sankaranarayananm. fl.
Häftad, Engelska, 2025
969 kr
Skickas inom 10-15 vardagar
Del 15530
Del 15530 - Lecture Notes in Computer Science
Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II
AvKrishna Shankaranarayanan,Sriram Sankaranarayananm. fl.
Häftad, Engelska, 2025
969 kr
Skickas inom 10-15 vardagar