B. Srivathsan - Böcker

Visar alla böcker från författaren B. Srivathsan.

1 produkt

Kategorier

1 produkt

Automated Technology for Verification and Analysis

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

Av Meenakshi D´Souza, Raghavan Komondoor m. fl

Häftad, Engelska, 2025

1 289 kr

Skickas inom 10-15 vardagar