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
: Sernadas, Cristina
Autor/Editor
: Holbac, Leonard M.
Autor/Editor
: Sipes, James L.
Autor/Editor
: Chen, Huajun
Autor/Editor
: Henzinger, Thomas A.
Autor/Editor
: Gray, William G.
Autor/Editor
: Villa, Alessandro E. P.
Autor/Editor
: Fisher, Robert B.
Autor/Editor
: Glikson, Andrew Y.
Autor/Editor
: Mapes, Royal H.
Autor/Editor
: Yang, Linsheng
Autor/Editor
: Velázquez, Alejandro
Autor/Editor
: Jones, Sacha C.
Autor/Editor
: Paterson, Mervyn S.
Autor/Editor
: White, Rob
Autor/Editor
: McClellan, A.
Autor/Editor
: Chen, Haiquan
Autor/Editor
: Polikarpova, Nadia
registros 1 al 1 de 1
Integrated Formal Methods
Autor/Editor:
Polikarpova, Nadia
Schneider, Steve
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-66845-1
+ info
registros 1 al 1 de 1