Computer Aided Verification
Editat de Madhusudan Parthasarathy et al.
27 iun 2012
Paperback
Preț: 362.08 lei 452.60 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ț: 331.63 lei 414.54 lei
6-8 săpt.
-20%