Ashutosh Trivedi - Böcker

Visar alla böcker från författaren Ashutosh Trivedi.
2 produkter
Krishna Shankaranarayanan, Sriram Sankaranarayanan, Ashutosh Trivedi - Verification, Model Checking, and Abstract Interpretation, Häftad
Del 15529 - Lecture Notes in Computer Science

Verification, Model Checking, and Abstract Interpretation

Av Krishna Shankaranarayanan, Sriram Sankaranarayanan, Ashutosh Trivedi

Häftad, Engelska, 2025

1 019 kr

Skickas inom 10-15 vardagar
Krishna Shankaranarayanan, Sriram Sankaranarayanan, Ashutosh Trivedi - Verification, Model Checking, and Abstract Interpretation, Häftad
Del 15530 - Lecture Notes in Computer Science

Verification, Model Checking, and Abstract Interpretation

Av Krishna Shankaranarayanan, Sriram Sankaranarayanan, Ashutosh Trivedi

Häftad, Engelska, 2025

1 019 kr

Skickas inom 10-15 vardagar