Krishna Shankaranarayanan – författare
Visar alla böcker från författaren .
2 produkter
2 produkter
Del 15529 - Lecture Notes in Computer Science
Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I
Häftad, Engelska, 2025
939 kr
Skickas inom 10-15 vardagar
Del 15530 - Lecture Notes in Computer Science
Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II
Häftad, Engelska, 2025
939 kr
Skickas inom 10-15 vardagar