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
: Fisher, Michael
Autor/Editor
: Soares Barbosa, Luís
Autor/Editor
: Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
Autor/Editor
: Wolf, Stefan
Autor/Editor
: Salaün, Gwen
Autor/Editor
: Weissenbacher, Georg
Autor/Editor
: Keliher, Liam
Autor/Editor
: Worrell, James
Autor/Editor
: Amann, Johanna
Autor/Editor
: Holvoet, Tom
Autor/Editor
: Beverly, Robert
Autor/Editor
: Vázquez, Miguel Ángel
Autor/Editor
: Seceleanu, Cristina
Autor/Editor
: Lee, Joohyung
Autor/Editor
: Uhlig, Steve
Autor/Editor
: Berger, Christian
Autor/Editor
: Bae, Kyungmin
Autor/Editor
: Jones, Richard
Autor/Editor
: Danger, Jean-Luc
Autor/Editor
: Ergül, Özgür
Autor/Editor
: Klein, Gerwin
Autor/Editor
: Wisniewski, Rafael
Autor/Editor
: Duchier, Denys
Autor/Editor
: Carlsson, Bengt
Autor/Editor
: Jacobsen, Hans-Arno
Autor/Editor
: Dunkelman, Orr
Autor/Editor
: Flammini, Francesco
Autor/Editor
: Demetrescu, Camil
Autor/Editor
: Otung, Ifiok
Autor/Editor
: Jedwab, Jonathan
registros 1 al 1 de 1
Critical Systems: Formal Methods and Automated Verification
Autor/Editor:
Petrucci, Laure
Seceleanu, Cristina
Cavalcanti, Ana
Año de edición:
2017
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-67113-0
+ info
registros 1 al 1 de 1