Computation Engineering: Applied Automata Theory and Logic
Autor Ganesh Gopalakrishnan
2 iun 2006
Hardback
Preț: 716.63 lei 895.78 lei
43-57 zile
-20%
Cărți de Ganesh Gopalakrishnan
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ț: 345.88 lei 432.35 lei
43-57 zile | 5-11 zile
-20%