<<< 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
URL: http://dx.doi.org/10.1007/978-3-540-85114-1
Idioma: inglés
Colección: Computación
Tipo de documento: Reunión
Editor: Springer
ISBN-e: 978-3-540-85114-1