Filtre: Springer Nature Switzerland

Cărți de Sriram Sankaranarayanan

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science, nr. 15529

Editat de Krishna Shankaranarayanan et al.

24 ian 2025

Preț: 428^.88 lei 536^.11 lei

38-45 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. | 7-13 zile

-20%