- Inicio
- > materias
- / INFORMÁTICA
- > DESARROLLO DE SOFTWARE
60,32€(IVA inc.)
Formal Techniques for Safety-Critical Systems
- Artho, Cyrille
- 978-3-319-17580-5
- 2015-06-14
60,32€(IVA inc.)
Formal Techniques for Safety-Critical Systems
- Artho, Cyrille
- 978-3-319-29509-1
- 2016-02-03
54,08€(IVA inc.)
Formal Techniques for Safety-Critical Systems
- Artho, Cyrille
- 978-3-319-53945-4
- 2017-02-16
56,16€(IVA inc.)
Reconfigurable computing : architectures, tools and applications: 8th International Symposium, ARC 2012, Hongkong, China, March 19-23, 2012, Proceedings
- Choy, Oliver
- 978-3-642-28364-2
- 2012-03-27
47,84€(IVA inc.)
Programming multi-agent systems: 8th International Workshop, PROMAS 2010, Toronto, on, Canada, May 11, 2010. Revised Selected Papers
- Collier, Rem
- 978-3-642-28938-5
- 2012-03-16
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
51,95€(IVA inc.)
Task models and diagrams for user interface design: 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
- England, David
- 978-3-642-11796-1
- 2010-02-18
161,15€(IVA inc.)
Source code optimization techniques for data flowdominated embedded software
- Falk, Heiko
- 978-1-4419-5254-7
- 2012-03-14
74,50€(IVA inc.)
Modelling systems: practical tools and techniques in software development
- Fitzgerald, John
- 978-0-521-89911-6
- 2009-10-01