(4 resultados)
Ordenar por
ordenar por...
83,15€(IVA inc.)
Distibuted computing and networking: 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010, Proceedings
- Kant, Krishna
- 978-3-642-11321-5
- 2009-12-17
58,24€(IVA inc.)
Formal Modeling and Analysis of Timed Systems
- Sankaranarayanan, Sriram
- 978-3-319-22974-4
- 2015-09-14
47,84€(IVA inc.)
Verified software : theories, tools, experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
- Leavens, Gary T.
- 978-3-642-15056-2
- 2010-08-05