Raghavan Komondoor – författare

Visar alla böcker från författaren Raghavan Komondoor.

1 produkt

Kategorier

1 produkt

Del 16145

Meenakshi D´Souza, Raghavan Komondoor, B. Srivathsan - Automated Technology for Verification and Analysis, Häftad

Del 16145 - Lecture Notes in Computer Science

Automated Technology for Verification and Analysis

23rd International Symposium, ATVA 2025, Bengaluru, India, October 27–31, 2025, Proceedings

AvMeenakshi D´Souza,Raghavan Komondoorm. fl.

Häftad, Engelska, 2025

1 189 kr

Skickas inom 5-8 vardagar