Sriram Sankaranarayanan - Böcker

Visar alla böcker från författaren Sriram Sankaranarayanan.
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

Av Sriram Sankaranarayanan, Natasha Sharygina

Häftad, Engelska, 2023

589 kr

Skickas inom 5-8 vardagar
Sriram Sankaranarayanan, Natasha Sharygina - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
Del 13993 - Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Av Sriram Sankaranarayanan, Natasha Sharygina

Häftad, Engelska, 2023

589 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

Av S. Akshay, Aina Niemetz, Sriram Sankaranarayanan

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

Av S. Akshay, Aina Niemetz, Sriram Sankaranarayanan

Häftad, Engelska, 2025

2 509 kr

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

Av Krishna Shankaranarayanan, Sriram Sankaranarayanan, Ashutosh Trivedi

Häftad, Engelska, 2025

1 009 kr

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

Av Krishna Shankaranarayanan, Sriram Sankaranarayanan, Ashutosh Trivedi

Häftad, Engelska, 2025

1 009 kr

Skickas inom 7-10 vardagar
Sriram Sankaranarayanan, Enrico Vicario - Formal Modeling and Analysis of Timed Systems, Häftad

Formal Modeling and Analysis of Timed Systems

Av Sriram Sankaranarayanan, Enrico Vicario

Häftad, Engelska, 2015

739 kr

Skickas inom 7-10 vardagar