- Inicio
- > materias
- / INFORMÁTICA
- > PROGRAMACIÓN
(6 resultados)
Ordenar por
ordenar por...
106,44€(IVA inc.)
An introduction to practical formal methods usingtemporal logic
- Fisher, Michael
- 978-0-470-02788-2
- 2011-04-08
47,84€(IVA inc.)
Computational logic in multi-agent systems: 10th international workshop, CLIMA-X 2009, hamburg, germany, september 9-10, 2009, revised selected and invited papers
- Dix, Jürgen
- 978-3-642-16866-6
- 2010-10-29
51,95€(IVA inc.)
Computational logic in multi-agent systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
- Fisher, Michael
- 978-3-642-02733-8
- 2009-07-10
52,62€(IVA inc.)
Computational logic in multi-agent systems: 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings
- Fisher, Michael
- 978-3-642-32896-1
- 2012-07-28