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
: Paquete, Luís
Autor/Editor
: Wang, Hua
Autor/Editor
: Mors, Adriaan
Autor/Editor
: Newman, William
Autor/Editor
: Wang, Guoyin
Autor/Editor
: Korytkowski, Marcin
Autor/Editor
: White, Ben
Autor/Editor
: Cosslett, Patrick D.
Autor/Editor
: Yazici, Adnan
Autor/Editor
: Rajcic, Vlatka
Autor/Editor
: Rojas, Ignacio
Autor/Editor
: Jiménez, Samantha
Autor/Editor
: Lawford, Mark
registros 1 al 1 de 1
Formal Methods and Software Engineering
Autor/Editor:
Ogata, Kazuhiro
Lawford, Mark
Liu, Shaoying
Año de edición:
2016
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-47846-3
+ info
registros 1 al 1 de 1