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
: Ballast, D.K.
Autor/Editor
: Vidakis, Nikolas
Autor/Editor
: Medina, Raoul
Autor/Editor
: Bungartz, Hans-Joachim
Autor/Editor
: Stinco, Sergio G.
Autor/Editor
: Srebrny, Marian
Autor/Editor
: Härder, Theo
Autor/Editor
: Arnold, D.
Autor/Editor
: Klenke, Reinhard A.
Autor/Editor
: Rodrigues Salgado, André Augusto
Autor/Editor
: Vieira, Marco
Keyword
: Business IT Infrastructure
Autor/Editor
: Vosper, Martin
Autor/Editor
: Ong, Aihwa
Autor/Editor
: Wasilewska, Anita
Autor/Editor
: Gurov, Dilian
registros 1 al 1 de 1
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
registros 1 al 1 de 1