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
: Aranha, Diego F.
Autor/Editor
: Moed, Henk F.
Autor/Editor
: Ramaswamy, Srini
Autor/Editor
: Barreto, Paulo
Autor/Editor
: Du, Xiaojiang
Autor/Editor
: Csató, Lehel
Autor/Editor
: Eisenbarth, Thomas
Autor/Editor
: Mohan, Chilukuri K.
Autor/Editor
: Fisher, Michael
Autor/Editor
: Soares Barbosa, Luís
Autor/Editor
: Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
registros 1 al 1 de 1
Critical Systems : Formal Methods and Automated Verification
Autor/Editor:
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-45943-1
+ info
registros 1 al 1 de 1