- Inicio
- / INFORMÁTICA
- > DESARROLLO DE SOFTWARE
99,78€(IVA inc.)
Instruction sequences for computer science
- Bergstra, Jan A.
- 978-94-91216-64-0
- 2012-06-17
90,48€(IVA inc.)
Computer aided verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
- Parthasarathy, Madhusudan
- 978-3-642-31423-0
- 2012-06-15
56,16€(IVA inc.)
Abstract state machines, alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
- Derrick, John
- 978-3-642-30884-0
- 2012-06-12
64,48€(IVA inc.)
Application and theory of Petri nets: 33rd International Conference, Petri Nets 2012, Hamburg, Germany, June 25-29, 2012, Proceedings
- Haddad, Serge
- 978-3-642-31130-7
- 2012-06-11
56,16€(IVA inc.)
Mathematics of program construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings
- Gibbons, Jeremy
- 978-3-642-31112-3
- 2012-06-11
56,16€(IVA inc.)
Integrated formal methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
- Derrick, John
- 978-3-642-30728-7
- 2012-06-06
82,16€(IVA inc.)
Correct reasoning: essays on logic-based AI in honour of Vladimir Lifschitz
- Erdem, Esra
- 978-3-642-30742-3
- 2012-06-01
