- Inicio
- > materias
- / INFORMÁTICA
- > PROGRAMACIÓN
(16 resultados)
Ordenar por
ordenar por...
57,15€(IVA inc.)
Concurrency, compositionality, and correctness: essays in honor of Willem-Paul de Roever
- Dams, Dennis
- 978-3-642-11511-0
- 2010-02-24
64,48€(IVA inc.)
Experimental algorithms: 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011, Proceedings
- Pardalos, Panos M.
- 978-3-642-20661-0
- 2011-04-28
56,16€(IVA inc.)
Fundamentals of computation theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings
- Owe, Olaf
- 978-3-642-22952-7
- 2011-08-09
101,92€(IVA inc.)
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
- Margaria, Tiziana
- 978-3-319-47168-6
- 2016-10-06
121,63€(IVA inc.)
Leveraging applications of formal methods, verification and validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings
- Margaria, T.
- 978-3-540-88478-1
- 2008-11-01
110,24€(IVA inc.)
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
- Margaria, Tiziana
- 978-3-319-47165-5
- 2016-10-06
90,48€(IVA inc.)
72,80€(IVA inc.)
34,31€(IVA inc.)
Mathematical Foundations of Advanced Informatics
- Steffen, Bernhard
- 978-3-319-68396-6
- 2018-03-15