Filtre: Springer International Publishing AG

Cărți de Sriram Sankaranarayanan

Automated Technology for Verification and Analysis

Lecture Notes in Computer Science, nr. 15054

Editat de S. Akshay et al.

feb 2025

Preț: 833^.04 lei 1041^.30 lei

38-44 zile

-20%

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-44 zile

-20%