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

77,95€(IVA inc.)

Theorem proving in higher order logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings

Berghofer, Stefan
978-3-642-03358-2
2009-08-04

39,17€(IVA inc.)

Real-world solutions for developing high-quality PHP frameworks and applications

Bergmann, Sebastian
978-0-470-87249-9
2011-02-09

99,78€(IVA inc.)

Instruction sequences for computer science

Bergstra, Jan A.
978-94-91216-64-0
2012-06-17

70,93€(IVA inc.)

Interactive theorem proving: third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Beringer, Lennart
978-3-642-32346-1
2012-07-06

47,79€(IVA inc.)

Formal methods for web services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Bernardo, M.
978-3-642-01917-3
2009-06-01

124,80€(IVA inc.)

Embedded Software Development: The Open-Source Approach

Bertolotti, Ivan Cibrario
9781466593923
2015-12-22

68,64€(IVA inc.)

Quantitative Evaluation of Systems

Bertrand, Nathalie
978-3-319-66334-0
2017-09-18

51,99€(IVA inc.)

Tools and Algorithms for the Construction and Analysis of Systems

Beyer, Dirk
978-3-319-89962-6
2018-05-21

51,99€(IVA inc.)

Tools and Algorithms for the Construction and Analysis of Systems

Beyer, Dirk
978-3-319-89959-6
2018-05-21

52,62€(IVA inc.)

Lectures on logic and computation: ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

Bezhanishvili, Nick
978-3-642-31484-1
2012-07-20

(834 resultados)