Sriram Sankaranarayanan – författare
Tools and Algorithms for the Construction and Analysis of Systems
29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II
439 kr
Skickas inom 5-8 vardagar
644 kr
Skickas inom 5-8 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I
439 kr
Skickas inom 5-8 vardagar
650 kr
Skickas inom 5-8 vardagar
Automated Technology for Verification and Analysis
22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I
1 412 kr
Skickas inom 5-8 vardagar
Automated Technology for Verification and Analysis
22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II
1 636 kr
Skickas inom 10-15 vardagar
Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I
713 kr
Skickas inom 10-15 vardagar
Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II
713 kr
Skickas inom 10-15 vardagar
Formal Modeling and Analysis of Timed Systems
13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
550 kr
Skickas inom 10-15 vardagar