Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
Editat de Ganesh Gopalakrishnan et al.
5 iul 2011
Paperback
Preț: 346.33 lei 432.92 lei
43-57 zile
-20%
Cărți de Ganesh Gopalakrishnan
Computation Engineering: Applied Automata Theory and Logic
Autor Ganesh Gopalakrishnan
2 iun 2006
Hardback
Preț: 724.13 lei 905.16 lei
43-57 zile
-20%