1/1
Computer Aided Verification
Autor/Editor: Biere, Armin - Bloem, Roderick
Año de edición: 2014
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Computer Systems Organization and Communication Ne - Mathematical Logic and Formal Languages - Software Engineering/Programming and Operating Sys - Logics and Meanings of Programs
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 8559
Tipo de documento: Reunión
Editor: Springer
ISBN-e: 978-3-319-08867-9
ISSN-e: 1611-3349