Automated Technology for Verification and Analysis
Editat de S. Akshay et al.
12 feb 2025
Paperback
Preț: 952.61 lei 1190.76 lei
38-44 zile
-20%
Cărți de Sriram Sankaranarayanan
Verification, Model Checking, and Abstract Interpretation
Editat de Krishna Shankaranarayanan et al.
23 ian 2025
Paperback
Preț: 430.52 lei 538.16 lei
38-44 zile
-20%
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Sriram Sankaranarayanan et al.
22 apr 2023
Paperback
Preț: 317.09 lei 396.37 lei
6-8 săpt.
-20%
Formal Modeling and Analysis of Timed Systems
Editat de Sriram Sankaranarayanan et al.
12 aug 2015
Paperback
Preț: 323.81 lei 404.76 lei
6-8 săpt.
-20%