Cărți de Sriram Sankaranarayanan

Automated Technology for Verification and Analysis

Editat de S. Akshay et al.

12 feb 2025

Preț: 952^.25 lei 1190^.31 lei

38-44 zile

-20%

Verification, Model Checking, and Abstract Interpretation

Editat de Krishna Shankaranarayanan et al.

24 ian 2025

Preț: 385^.94 lei 482^.42 lei

38-44 zile

-20%

Tools and Algorithms for the Construction and Analysis of Systems

Lecture Notes in Computer Science, nr. 13994

Editat de Sriram Sankaranarayanan et al.

20 apr 2023

Preț: 257^.54 lei 321^.93 lei

3-5 săpt. | 4-10 zile

-20%

Formal Modeling and Analysis of Timed Systems

Lecture Notes in Computer Science, nr. 9268

Editat de Sriram Sankaranarayanan et al.

12 aug 2015

Preț: 323^.81 lei 404^.76 lei

6-8 săpt.

-20%