Hoppa till sidans huvudinnehåll

B. Srivathsan – författare

Visar alla böcker från författaren B. Srivathsan.
1 produkt
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