(36 resultados)
Ordenar por
ordenar por...
73,84€(IVA inc.)
Software engineering techniques: Third IFIP TC 2 Central and East-European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers
- Huzar, Zbigniev
- 978-3-642-22385-3
- 2011-07-12
135,19€(IVA inc.)
Specification and Verification of Multi-agent Systems
- Dastani, Mehdi
- 978-1-4899-9088-4
- 2014-10-20
103,95€(IVA inc.)
Specification and verification of multi-agent systems
- Dastani, Mehdi
- 978-1-4419-6983-5
- 2010-07-29
51,95€(IVA inc.)
Touch of class: learning to program well with objects and contracts
- Meyer, B.
- 978-3-540-92144-8
- 2009-02-01
98,75€(IVA inc.)
Verified software : theories, tools, experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Proceedings
- Meyer, B.
- 978-3-540-69147-1
- 2008-07-01