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

64,48€(IVA inc.)

Experimental algorithms: 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011, Proceedings

Pardalos, Panos M.
978-3-642-20661-0
2011-04-28

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

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

110,24€(IVA inc.)

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

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

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

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

34,31€(IVA inc.)

Mathematical Foundations of Advanced Informatics

Steffen, Bernhard
978-3-319-68396-6
2018-03-15

108,63€(IVA inc.)

Ontology-driven software development

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

(16 resultados)