Hoppa till sidans huvudinnehåll

Sriram Sankaranarayanan - Böcker

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, Engelska, 2023

569 kr

Skickas inom 10-15 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

Av Sriram Sankaranarayanan, Natasha Sharygina

Häftad, Engelska, 2023

569 kr

Skickas inom 10-15 vardagar

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, Engelska, 2025

2 089 kr

Skickas inom 10-15 vardagar

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, Engelska, 2025

2 409 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

Av Krishna Shankaranarayanan, Sriram Sankaranarayanan m. fl

Häftad, Engelska, 2025

959 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

Av Krishna Shankaranarayanan, Sriram Sankaranarayanan m. fl

Häftad, Engelska, 2025

959 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

Av Sriram Sankaranarayanan, Enrico Vicario

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar