Busquedas:
- Autor/Editor: Singleton, Alex
- Keyword: Plant Pathology
- Autor/Editor: Sverdrup, Harald
- Autor/Editor: Roychoudhury, Abhik
- Autor/Editor: Kalish, Kristopher
- Autor/Editor: Ramirez, David
- Keyword: Polar Geography
- Autor/Editor: Imrie, Rob
- Autor/Editor: Maffei, Matteo
- Autor/Editor: Inomata, Atsuo
- Keyword: Applied Linguistics
- Autor/Editor: Giard, Pascal
- Autor/Editor: Timberg, Pontus
- Autor/Editor: Zvezdov, Dimitar
- Autor/Editor: Armknecht, Frederik
- Autor/Editor: EliÌas Castells, Xavier
- Autor/Editor: Cui, Weiwei
- Autor/Editor: Cabot, Charlène
- Autor/Editor: Khoussainov, Bakhadyr
- Keyword: Adolescence and Society
- Autor/Editor: Mathian, Hélène
- Keyword: Developmental Psychology
- Autor/Editor: Hein, Matthias
1/1
Model Checking Software
Autor/Editor: Hutchison, David - Kanade, Takeo - Kittler, Josef - Kleinberg, Jon M. - Mattern, Friedemann - Mitchell, John C. - Naor, Moni - Nierstrasz, Oscar - Pandu Rangan, C. - Steffen, Bernhard - Sudan, Madhu - Terzopoulos, Demetri - Tygar, Doug - Vardi, Moshe Y. - Weikum, Gerhard - Havelund, Klaus - Majumdar, Rupak - Palsberg, Jens
Año de edición: 2008
Acceso: UBA
Idioma: inglés
Colección: Computación
Tipo de documento: Reunión
Editor: Springer
ISBN-e: 978-3-540-85114-1