Hoppa till sidans huvudinnehåll

Sriram Sankaranarayanan – författare

Visar alla böcker från författaren .
7 produkter
Sriram Sankaranarayanan, Natasha Sharygina - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
Del 13994 - Lecture Notes in Computer Science

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

579 kr

Skickas inom 5-8 vardagar

Sriram Sankaranarayanan, Natasha Sharygina - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

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

579 kr

Skickas inom 5-8 vardagar

S. Akshay, Aina Niemetz, Sriram Sankaranarayanan - Automated Technology for Verification and Analysis, Häftad
Del 15054 - Lecture Notes in Computer Science

Automated Technology for Verification and Analysis

22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I

AvS. Akshay,Aina Niemetzm. fl.

Häftad, Engelska, 2025

1 869 kr

Skickas inom 5-8 vardagar

S. Akshay, Aina Niemetz, Sriram Sankaranarayanan - Automated Technology for Verification and Analysis, Häftad
Del 15055 - Lecture Notes in Computer Science

Automated Technology for Verification and Analysis

22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II

AvS. Akshay,Aina Niemetzm. fl.

Häftad, Engelska, 2025

2 159 kr

Skickas inom 10-15 vardagar

Krishna Shankaranarayanan, Sriram Sankaranarayanan, Ashutosh Trivedi - Verification, Model Checking, and Abstract Interpretation, Häftad
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

AvKrishna Shankaranarayanan,Sriram Sankaranarayananm. fl.

Häftad, Engelska, 2025

939 kr

Skickas inom 10-15 vardagar

Krishna Shankaranarayanan, Sriram Sankaranarayanan, Ashutosh Trivedi - Verification, Model Checking, and Abstract Interpretation, Häftad
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

AvKrishna Shankaranarayanan,Sriram Sankaranarayananm. fl.

Häftad, Engelska, 2025

939 kr

Skickas inom 10-15 vardagar

Sriram Sankaranarayanan, Enrico Vicario - Formal Modeling and Analysis of Timed Systems, Häftad
Del 9268 - Lecture Notes in Computer Science

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

729 kr

Skickas inom 10-15 vardagar