Software Verification
Editat de Roderick Bloem et al.
22 feb 2022
Paperback
Preț: 358.90 lei 448.62 lei
43-57 zile
-20%
Cărți de Natasha Sharygina
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Sriram Sankaranarayanan et al.
20 apr 2023
Paperback
Preț: 265.56 lei 331.95 lei
22-36 zile | 5-11 zile
-20%
Validation of Evolving Software
Editat de Hana Chockler et al.
10 iul 2015
Hardback
Preț: 337.00 lei 421.25 lei
43-57 zile
-20%
Computer Aided Verification
Editat de Natasha Sharygina et al.
14 iul 2013
Paperback
Preț: 688.37 lei 860.46 lei
43-57 zile
-20%