Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Editat de Howard Barringer et al.
19 oct 2010
Paperback
Preț: 331.62 lei 414.53 lei
22-36 zile
-20%
Cărți de Bernd Finkbeiner
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Bernd Finkbeiner et al.
5 apr 2024
Paperback
Preț: 300.27 lei 375.34 lei
43-57 zile
-20%
Runtime Verification
Editat de Bernd Finkbeiner et al.
4 oct 2019
Paperback
Preț: 409.52 lei 511.91 lei
43-57 zile
-20%
Fields of Logic and Computation III
Editat de Andreas Blass et al.
23 mai 2020
Paperback
Preț: 324.82 lei 406.03 lei
43-57 zile
-20%
Verification, Model Checking, and Abstract Interpretation
Editat de Bernd Finkbeiner et al.
14 ian 2022
Paperback
Preț: 580.91 lei 726.13 lei
43-57 zile
-20%
Fields of Logic and Computation II
Editat de Lev D. Beklemishev et al.
27 aug 2015
Paperback
Preț: 323.81 lei 404.76 lei
43-57 zile
-20%
Automated Technology for Verification and Analysis
Editat de Bernd Finkbeiner et al.
22 noi 2015
Paperback
Preț: 334.25 lei 417.82 lei
43-57 zile
-20%