Sriram Sankaranarayanan - Böcker

Visar alla böcker från författaren Sriram Sankaranarayanan.

7 produkter

Kategorier

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

AvSriram 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

AvSriram 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

AvS. Akshay,Aina Niemetz m. fl.

Häftad, Engelska, 2025

1 819 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

AvS. 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

AvKrishna Shankaranarayanan,Sriram Sankaranarayanan m. fl.

Häftad, Engelska, 2025

829 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

AvKrishna Shankaranarayanan,Sriram Sankaranarayanan m. fl.

Häftad, Engelska, 2025

829 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

AvSriram Sankaranarayanan,Enrico Vicario

Häftad, Engelska, 2015

719 kr

Skickas inom 10-15 vardagar