(2 resultados)
Ordenar por
ordenar por...
84,24€(IVA inc.)
Automata and computability: a programmer's perspective
- Gopalakrishnan, Ganesh
- 9781138552425
- 2019-02-22
90,48€(IVA inc.)
Computer aided verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
- Gopalakrishnan, Ganesh
- 978-3-642-22109-5
- 2011-07-05