Tools and Algorithms for the Construction and Analysis of Systems
Editat de Sriram Sankaranarayanan et al.
20 apr 2023
Paperback
Preț: 257.54 lei 321.93 lei
22-36 zile | 6-12 zile
-20%
Cărți de Natasha Sharygina
Software Verification
Editat de Roderick Bloem et al.
22 feb 2022
Paperback
Preț: 345.11 lei 431.39 lei
43-57 zile
-20%
Validation of Evolving Software
Editat de Hana Chockler et al.
10 iul 2015
Hardback
Preț: 322.61 lei 403.26 lei
43-57 zile
-20%
Computer Aided Verification
Editat de Natasha Sharygina et al.
14 iul 2013
Paperback
Preț: 661.78 lei 827.23 lei
43-57 zile
-20%