1/1
Verified Software: Theories, Tools, Experiments
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 - Shankar, Natarajan - Woodcock, Jim
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-87873-5