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
3-5 săpt. | 5-11 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
6-8 săpt.
-20%
Validation of Evolving Software
Editat de Hana Chockler et al.
10 iul 2015
Hardback
Preț: 324.30 lei 405.37 lei
6-8 săpt.
-20%
Computer Aided Verification
Editat de Natasha Sharygina et al.
14 iul 2013
Paperback
Preț: 661.78 lei 827.23 lei
6-8 săpt.
-20%