Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  registros 1 al 6 de 6
Deductive Software Verification – The KeY Book
Autor/Editor: Ahrendt, Wolfgang  Beckert, Bernhard  Bubel, Richard  Hähnle, Reiner  Schmitt, Peter H.  Ulbrich, Mattias
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-49812-6
    + info
Formal Methods for Components and Objects
Autor/Editor: Giachino, Elena  Hähnle, Reiner  Boer, Frank S.  Bonsangue, Marcello M.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40615-7
    + info
Formal Methods for Executable Software Models
Autor/Editor: Bernardo, Marco  Damiani, Ferruccio  Hähnle, Reiner  Johnsen, Einar Broch  Schaefer, Ina
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-07317-0
    + info
Leveraging Applications of Formal Methods, Verification, and Validation
Autor/Editor: Hähnle, Reiner  Knoop, Jens  Margaria, Tiziana  Schreiner, Dietmar  Steffen, Bernhard
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-34781-8
    + info
Machine Learning for Dynamic Software Analysis: Potentials and Limits
Autor/Editor: Bennaceur, Amel  Hähnle, Reiner  Meinke, Karl
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-96562-8
    + info
Tests and Proofs
Autor/Editor: Beckert, Bernhard  Hähnle, Reiner
Año de edición: 2008
Acceso: UBA
http://dx.doi.org/10.1007/978-3-540-79124-9
    + info
  registros 1 al 6 de 6