(2 resultados)
Ordenar por
ordenar por...
51,95€(IVA inc.)
Formal methods for industrial critical systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings
- Alpuente, María
- 978-3-642-04569-1
- 2009-10-19
47,84€(IVA inc.)
Logic-based program synthesis and transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
- Alpuente, María
- 978-3-642-20550-7
- 2011-05-02