- Inicio
- > materias
- / INFORMÁTICA
- > PROGRAMACIÓN
36,58€(IVA inc.)
Proof theory: a selection of papers from the Leeds proof theory programme 1990
- Aczel, Peter
- 978-0-521-05416-4
- 2008-02-28
93,60€(IVA inc.)
Deductive Software Verification - The KeY Book
- Ahrendt, Wolfgang
- 978-3-319-49811-9
- 2016-12-27
60,32€(IVA inc.)
Formal Techniques for Safety-Critical Systems
- Artho, Cyrille
- 978-3-319-29509-1
- 2016-02-03
60,32€(IVA inc.)
Formal Techniques for Safety-Critical Systems
- Artho, Cyrille
- 978-3-319-17580-5
- 2015-06-14
54,08€(IVA inc.)
Formal Techniques for Safety-Critical Systems
- Artho, Cyrille
- 978-3-319-53945-4
- 2017-02-16
46,75€(IVA inc.)
Globalization of professional services: innovative strategies, successful processes, inspired talent management, and first-hand experiences
- Bäumer, Ulrich
- 978-3-642-29180-7
- 2012-06-30
53,57€(IVA inc.)
The semantic web explained: the technology and mathematics behind web 3.0
- Benko, Tamás
- 978-0-521-70036-8
- 2014-08-15
62,40€(IVA inc.)
Human-centred software engineering: Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings
- Bernhaupt, Regina
- 978-3-642-16487-3
- 2010-10-06
78,00€(IVA inc.)
Human-Centered and Error-Resilient Systems Development
- Bogdan, Cristian
- 978-3-319-44901-2
- 2016-09-20
58,24€(IVA inc.)
Formal Aspects of Component Software
- Braga, Christiano
- 978-3-319-28933-5
- 2016-03-07