Buscar
Avanzada
Historial
Registros por pagina:
20
50
100
Buscar Por:
Título
Autor/Editor
Colección
Todas las colecciones
Antropología
Arquitectura y diseño
Astronomía y astrofísica
Bibliotecología y Ciencia de la Información
Ciencia Política
Ciencias agrarias
Ciencias de la tierra y del espacio
Ciencias de la vida
Ciencias de las Artes y de las Letras
Ciencias económicas
Ciencias jurídicas y Derecho
Ciencias médicas
Ciencias tecnológicas
Computación
Demografía
Ética
Filosofía
Física
Geografía
Historia
Ingeniería
Lingüística
Lógica
Matemáticas
Pedagogía
Psicología
Química
Sociología
Registros por pagina:
20
50
100
Busquedas:
Autor/Editor
: Lenz, Richard
Autor/Editor
: Liu, Shaoying
Autor/Editor
: Janowski, Tomasz
Autor/Editor
: Gerig, Guido
Autor/Editor
: Andrusz, Gregory
Autor/Editor
: Roy, Arunava
Autor/Editor
: Lindgren, Ida
Autor/Editor
: Dubinsky, Yael
Autor/Editor
: Breunig, Martin
Autor/Editor
: Glass, Billy P.
Autor/Editor
: Kropp, Kristoffer
Autor/Editor
: Brainerd, Walter S.
Autor/Editor
: Puig, Luis
Autor/Editor
: Chiozzi, Paolo
Autor/Editor
: Oakley, Barbara
Autor/Editor
: Khan, Samee U.
Autor/Editor
: Sagues, Carlos
Autor/Editor
: Cellier, Peggy
Autor/Editor
: Font, Josep Maria
Autor/Editor
: Meystre, P.
Autor/Editor
: Li, Shengli
Autor/Editor
: Giustolisi, Orazio
Autor/Editor
: Poovendran, Radha
Autor/Editor
: Soukup, Jiri
Autor/Editor
: England, Kim
Autor/Editor
: Torunsky, Nathan
Colección
: Bibliotecología y Ciencia de la Información
Autor/Editor
: Jiang, Rui
Autor/Editor
: Rendl, Franz
Autor/Editor
: Beckert, Bernhard
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