Busquedas:
- Keyword: Robotics and Automation
- Autor/Editor: Kent, B. R.
- Autor/Editor: Fuhr, Norbert
- Autor/Editor: Rahman, Mohammad Azizur
- Autor/Editor: Gupta, Rajiv
- Autor/Editor: Savoy, Jacques
- Autor/Editor: Israel, Susan E.
- Autor/Editor: Jansen, David N.
- Autor/Editor: Reyf, Igor E.
- Autor/Editor: Setola, Roberto
- Autor/Editor: Rathore L. S.
- Autor/Editor: Pugh, Philip
- Autor/Editor: Pino, Robinson E.
- Autor/Editor: Wriggers, Peter
- Autor/Editor: Manzon, Maria
- Autor/Editor: Eigenmann, Rudolf
- Autor/Editor: Sideridis, Alexander B.
- Autor/Editor: Boumerdassi, Selma
- Colección: Química
- Autor/Editor: Zhou, Junfeng
- Keyword: European Politics
- Autor/Editor: Bengtsson, L.
- Autor/Editor: Fackler, P. Mark
- Autor/Editor: Walsh, Maud
- Autor/Editor: Kenter, Tom
- Autor/Editor: Green, Nancy
- Autor/Editor: Poli, Andrea
- Autor/Editor: Chebanov, Valentin A.
- Autor/Editor: Jeong, M.
- Autor/Editor: Arditti, David
1/1
Verification, Model Checking, and Abstract Interpretation
Autor/Editor: D’Souza, Deepak - Lal, Akash - Larsen, Kim Guldstrand
Año de edición: 2015
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Logics and Meanings of Programs - Software Engineering - Computer Communication Networks - Mathematical Logic and Formal Languages - Computation by Abstract Devices - Programming Languages - Compilers - Interpreters
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 8931
Tipo de documento: Reunión
Editor: Springer Berlin Heidelberg
ISBN-e: 978-3-662-46081-8
ISSN-e: 1611-3349