- Inicio
- / INFORMÁTICA
- > VARIOS / GENERAL (LENGUAJES DE PROGRAMACIÓN)
48,83€(IVA inc.)
Types for proofs and programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers
- Miculan, M.
- 978-3-540-68084-0
- 2008-06-01
57,15€(IVA inc.)
Formal methods and testing: an outcome of the FORTEST network, Revised Selected Papers
- Hierons, R.
- 978-3-540-78916-1
- 2008-05-01
59,96€(IVA inc.)
Web engineering: a practitioner's approach
- Pressman, Roger S.
- 978-0-07-126377-1
- 2008-04-01
55,07€(IVA inc.)
Verification, model checking, and abstract interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
- Logozzo, F.
- 978-3-540-78162-2
- 2008-04-01
18,67€(IVA inc.)
The art of computer programming: introduction to combinatorial algorithms and boolean functions: v. 4: fascicle 0
- Knuth, Donald E.
- 978-0-321-53496-5
- 2008-04-01