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
: Huang, Shanguo
Autor/Editor
: Korytkowski, Marcin
Autor/Editor
: Krüger, Volker
Autor/Editor
: Alfaro d'Alencon, Paola
Autor/Editor
: Huanye, Sheng
Autor/Editor
: Gray, Jeremy
Autor/Editor
: Skums, Pavel
Autor/Editor
: Pfeiffer, Friedrich
Autor/Editor
: Kraslawski, Andrzej
Autor/Editor
: Leavens, Gary T.
Autor/Editor
: Matsuo, Tokuro
Autor/Editor
: Brandt, Ernst Helmut
Autor/Editor
: Valduriez, Patrick
Autor/Editor
: Hasegawa, Yasumichi
Autor/Editor
: Abu-Farsakh, Murad
Autor/Editor
: Hänsler, Eberhard
Autor/Editor
: Picariello, Antonio
Autor/Editor
: Lee, Chungmin
Autor/Editor
: Hornak, Kenneth Allen
Autor/Editor
: Vezzoli, Carlo
Autor/Editor
: Minker, Wolfgang
Autor/Editor
: Iser, Bernd
Autor/Editor
: Ruiz-Trillo, Iñaki
Autor/Editor
: Fassetti, Fabio
Autor/Editor
: Wang, Guoyin
Autor/Editor
: Pavlov, Andrei
Autor/Editor
: Lunardi, Pietro
Autor/Editor
: Meidanis, Joao
Autor/Editor
: Ducellier, Guillaume
Autor/Editor
: Zaïdi, Fatiha
registros 1 al 1 de 1
Formal Methods and Software Engineering
Autor/Editor:
Butler, Michael
Conchon, Sylvain
Zaïdi, Fatiha
Año de edición:
2015
Acceso:
UBA
http://dx.doi.org/10.1007/978-3-319-25423-4
+ info
registros 1 al 1 de 1