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
: Dutoit, Thierry
Autor/Editor
: Tsumoto, Shusaku
Autor/Editor
: Harris, Lynn
Autor/Editor
: Zimányi, Esteban
Autor/Editor
: Yung, Moti
Autor/Editor
: Puppala, Anand
Autor/Editor
: Hake, Jürgen-Friedrich
Autor/Editor
: Kutsche, Ralf-Detlef
Autor/Editor
: De Santo, Massimo
Autor/Editor
: Arefian, Fatemeh Farnaz
Autor/Editor
: Hou, Zeng-Guang
Autor/Editor
: Popov, Nikolaj
Autor/Editor
: Catania, Barbara
Autor/Editor
: Hu, Xiaolin
Autor/Editor
: Magnusson, Charlotte
Autor/Editor
: Karle, Thomas
Autor/Editor
: Duval, Béatrice
Autor/Editor
: Rojas, Ignacio
Autor/Editor
: Jiménez, Samantha
Autor/Editor
: Jia, Bing
Autor/Editor
: Sofge, Donald
Autor/Editor
: Žarnić, Roko
Autor/Editor
: Wu, Fei
Autor/Editor
: Mario J. Pérez-Jiménez, Tao Song
Autor/Editor
: Damiani, Ernesto
Autor/Editor
: Amin, Samir
Autor/Editor
: Park, James J. Jong Hyuk
Autor/Editor
: Huang, Qingming
Autor/Editor
: Hingston, Philip
Autor/Editor
: Derrick, John
registros 1 al 4 de 4
Abstract State Machines, Alloy, B, VDM, and Z
Autor/Editor:
Derrick, John
Fitzgerald, John
Gnesi, Stefania
Khurshid, Sarfraz
Leuschel, Michael
Reeves, Steve
Riccobene, Elvinia
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-30885-7
+ info
Integrated Formal Methods
Autor/Editor:
Derrick, John
Gnesi, Stefania
Latella, Diego
Treharne, Helen
Año de edición:
2012
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-642-30729-4
+ info
Refinement
Autor/Editor:
Derrick, John
Boiten, Eerke
Año de edición:
2018
Acceso:
UBA
http://doi.org/10.1007/978-3-319-92711-4
+ info
Refinement in Z and Object-Z
Autor/Editor:
Boiten, Eerke A.
Derrick, John
Año de edición:
2014
Acceso:
UBA
http://dx.doi.org/10.1007/978-1-4471-5355-9
+ info
registros 1 al 4 de 4