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
Häftad, Engelska, 2025
1 189 kr
Skickas inom 5-8 vardagar
B. Srivathsan – författare
Visar alla böcker från författaren B. Srivathsan.
1 produkt
1 produkt