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
: Gabbay, Dov
Autor/Editor
: Wang, Yi
Autor/Editor
: Chen, Zilu
Autor/Editor
: Cruz, Marcelo G.
Autor/Editor
: Mylopoulos, John
Autor/Editor
: Rossi, Aldo.
Autor/Editor
: Meuer, Werner
Autor/Editor
: Kalaja, Paula
Autor/Editor
: Keyes, David
Autor/Editor
: Hung, Nguyen Manh
Autor/Editor
: Raschke, Alexander
registros 1 al 2 de 2
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Autor/Editor:
Butler, Michael
Raschke, Alexander
Hoang, Thai Son
Reichl, Klaus
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-91271-4
+ info
Modeling Companion for Software Practitioners
Autor/Editor:
Börger, Egon
Raschke, Alexander
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-662-56641-1
+ info
registros 1 al 2 de 2