Vijay Ganesh - Böcker
Visar alla böcker från författaren Vijay Ganesh.
5 produkter
5 produkter
Del 12971 - Lecture Notes in Computer Science
Automated Technology for Verification and Analysis
19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings
Häftad, Engelska, 2021
1 079 kr
Skickas inom 10-15 vardagar
Del 14681 - Lecture Notes in Computer Science
Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I
Häftad, Engelska, 2024
579 kr
Skickas inom 7-10 vardagar
Del 14682 - Lecture Notes in Computer Science
Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II
Häftad, Engelska, 2024
579 kr
Skickas inom 7-10 vardagar
Del 14683 - Lecture Notes in Computer Science
Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III
Häftad, Engelska, 2024
579 kr
Skickas inom 10-15 vardagar
1 669 kr
Skickas inom 10-15 vardagar