Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Editat de Madhusudan Parthasarathy et al.
27 iun 2012
Paperback
Preț: 357.63 lei 447.04 lei
6-8 săpt.
-20%
Cărți de Madhusudan Parthasarathy