registros 1 al 4 de 4
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: Beckert, Bernhard  Damiani, Ferruccio  Boer, Frank S.  Bonsangue, Marcello M.
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-35887-6
    + info
Formal Verification of Object-Oriented Software
Autor/Editor: Beckert, Bernhard  Damiani, Ferruccio  Gurov, Dilian
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-31762-0
    + 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 4 de 4