- Inicio
- > materias
- / INFORMÁTICA
- > INGENIERÍA DE SOFTWARE
(3 resultados)
Ordenar por
ordenar por...
58,24€(IVA inc.)
Formal Aspects of Component Software
- Braga, Christiano
- 978-3-319-28933-5
- 2016-03-07
57,31€(IVA inc.)
Formal Modeling and Analysis of Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude
- Ölveczky, Peter Csaba
- 978-1-4471-6686-3
- 2015-09-06
47,84€(IVA inc.)
Rewriting logic and its applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
- Csaba Ölveczky, Peter
- 978-3-642-16309-8
- 2010-10-06