Sriram Sankaranarayanan – författare
Visar alla böcker från författaren Sriram Sankaranarayanan.
7 produkter
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
Av Sriram Sankaranarayanan, Natasha Sharygina
Häftad, 2023
579 kr
Lägg i varukorg
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
Av Sriram Sankaranarayanan, Natasha Sharygina
Häftad, 2023
579 kr
Lägg i varukorg
Automated Technology for Verification and Analysis
22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I
Av S. Akshay, Aina Niemetz m. fl.
Häftad, 2025
1869 kr
Lägg i varukorg
Automated Technology for Verification and Analysis
22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II
Av S. Akshay, Aina Niemetz m. fl.
Häftad, 2025
2169 kr
Lägg i varukorg
Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I
Av Krishna Shankaranarayanan, Sriram Sankaranarayanan m. fl.
Häftad, 2025
949 kr
Lägg i varukorg
Verification, Model Checking, and Abstract Interpretation
26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II
Av Krishna Shankaranarayanan, Sriram Sankaranarayanan m. fl.
Häftad, 2025
949 kr
Lägg i varukorg
Formal Modeling and Analysis of Timed Systems
13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
Av Sriram Sankaranarayanan, Enrico Vicario
Häftad, 2015
729 kr
Lägg i varukorg