Verification, Model Checking, and Abstract Interpretation
Editat de Krishna Shankaranarayanan et al.
23 ian 2025
Paperback
Preț: 387.59 lei 484.48 lei
38-44 zile
-20%
Cărți de Sriram Sankaranarayanan
Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
Editat de Sriram Sankaranarayanan et al.
12 aug 2015
Paperback
Preț: 321.49 lei 401.86 lei
6-8 săpt.
-20%
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I
Editat de Sriram Sankaranarayanan et al.
22 apr 2023
Paperback
Preț: 313.19 lei 391.49 lei
6-8 săpt.
-20%