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

57,15€(IVA inc.)

Concurrency, compositionality, and correctness: essays in honor of Willem-Paul de Roever

Dams, Dennis
978-3-642-11511-0
2010-02-24

56,16€(IVA inc.)

Fundamentals of computation theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings

Owe, Olaf
978-3-642-22952-7
2011-08-09

110,24€(IVA inc.)

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Margaria, Tiziana
978-3-319-47165-5
2016-10-06

101,92€(IVA inc.)

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Margaria, Tiziana
978-3-319-47168-6
2016-10-06

121,63€(IVA inc.)

Leveraging applications of formal methods, verification and validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings

Margaria, T.
978-3-540-88478-1
2008-11-01

90,48€(IVA inc.)

Leveraging applications of formal methods, verification, and validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Margaria, Tiziana
978-3-642-16557-3
2010-10-18

72,80€(IVA inc.)

Leveraging applications of formal methods, verification, and validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Margaria, Tiziana
978-3-642-16560-3
2010-10-18

98,75€(IVA inc.)

Ontology-Driven Software Development

Pan, Jeff Z.
978-3-642-42895-1
2015-01-29

108,63€(IVA inc.)

Ontology-driven software development

Pan, Jeff Z.
978-3-642-31225-0
2012-09-30

64,48€(IVA inc.)

Software language engineering: Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers

Malloy, Brian
978-3-642-19439-9
2011-02-23

(13 resultados)