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

85,28€(IVA inc.)

Computer Aided Verification

Majumdar, Rupak
978-3-319-63389-3
2017-07-13

85,28€(IVA inc.)

Computer Aided Verification

Majumdar, Rupak
978-3-319-63386-2
2017-07-13

58,24€(IVA inc.)

Runtime Verification

Bartocci, Ezio
978-3-319-23819-7
2015-09-27

51,95€(IVA inc.)

Tools and algorithms for the construction and analysis of systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings

Esparza, Javier
978-3-642-12001-5
2010-03-17

(4 resultados)