Computer Aided Verification
Editat de Madhusudan Parthasarathy et al.
27 iun 2012
Paperback
Preț: 348.16 lei 435.21 lei
6-8 săpt.
-20%
Cărți de Sanjit A. Seshia
Verified Software: Theories, Tools, and Experiments
Editat de Arie Gurfinkel et al.
29 ian 2016
Paperback
Preț: 318.89 lei 398.61 lei
6-8 săpt.
-20%