Librería zar libros. Libros ciencia, medicina, ingeniería, textos universitarios Sevilla

72,80€(IVA inc.)

Formal methods for eternal networked software systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures

Bernardo, Marco
978-3-642-21454-7
2011-06-03

64,48€(IVA inc.)

Formal modeling : actors; open systems, biological systems: essays dedicated to Carolyn Talcott on the occasion of her 70th birthday

Agha, Gul
978-3-642-24932-7
2011-10-13

47,84€(IVA inc.)

Foundations of computer software: modeling, development, and verification of adaptive systems 16th Monterey Workshop 2010, Redmond, USA, WA, USA, March 31--April 2, Revised Selected Papers

Calinescu, Radu
978-3-642-21291-8
2011-05-23

72,80€(IVA inc.)

Generative and transformational techniques in software engineering III: International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers

Fernandes, João M.
978-3-642-18022-4
2011-01-03

214,19€(IVA inc.)

Handbook of systems engineering and management

Sage, Andrew P.
978-0-470-08353-6
2009-05-29

47,84€(IVA inc.)

Hardware and software : verification and testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Barner, Sharon
978-3-642-19582-2
2011-03-17

64,34€(IVA inc.)

Hardware/firmware interface design: best practices for improving embedded systems development

Stringham, Gary
978-1-85617-605-7
2009-12-01

166,35€(IVA inc.)

Identification of continuous-time models from sampled data

Garnier, H.
978-1-84800-160-2
2008-06-01

51,95€(IVA inc.)

Improving software testing: technical and organizational developments

Majchrzak, Tim A.
978-3-642-27463-3
2012-02-29

83,20€(IVA inc.)

Information technology and mobile communication: International Conference, AIM 2011, Nagpur, Maharashtra, India, April 21-22, 2011, Proceedings

Das, Vinu V.
978-3-642-20572-9
2011-04-13

(171 resultados)