- Inicio
- > materias
- / INFORMÁTICA
- > ALGORITMOS / ESTRUCTURA DE DATOS
106,44€(IVA inc.)
An introduction to practical formal methods usingtemporal logic
- Fisher, Michael
- 978-0-470-02788-2
- 2011-04-08
160,10€(IVA inc.)
Tools for high performance computing 2011: Proceedings of the 5th International Workshop on Parallel Tools for high Performance Computing, September 2011, Zih, Dresden
- Brunst, Holger
- 978-3-642-31475-9
- 2012-09-30