Busquedas:
- Autor/Editor: Bekris, Kostas
- Autor/Editor: Torres Guerrero, Francisco
- Autor/Editor: Rueher, Michel
- Autor/Editor: Wyeld, Theodor
- Autor/Editor: Peres, Emanuel
- Autor/Editor: Liu, James N. K.
- Autor/Editor: Yan, Nan
- Autor/Editor: Aimani, Laila El
- Autor/Editor: Pesant, Gilles
- Autor/Editor: Dahl, Anders Bjorholm
- Autor/Editor: Nikolova, Mila
- Autor/Editor: Paulsen, Rasmus R.
- Autor/Editor: Chen, Jessie Y. C.
- Autor/Editor: Puppo, Enrico
- Autor/Editor: Bertalmío, Marcelo
- Autor/Editor: Ben Amor, Boulbaba
- Autor/Editor: Zhang, Yongjie
- Autor/Editor: Kortmann, Rens
- Autor/Editor: Caterini, Anthony L.
- Autor/Editor: Sansone, Carlo
- Autor/Editor: Sheh, Raymond
- Autor/Editor: Wu, Jiun-Shiung
- Autor/Editor: Wu, Yunjie
- Autor/Editor: Handschuh, Helena
- Autor/Editor: Lupeikiene, Audrone
- Autor/Editor: Alba, Enrique
- Autor/Editor: Arora, Chetan
- Keyword: Passive comp
- Autor/Editor: Choukrâ€Allah, Redouane
- Autor/Editor: Gitler, Isidoro
1/1
Automated Technology for Verification and Analysis
Autor/Editor: D'Souza, Deepak - Kumar, K. Narayan
Año de edición: 2017
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Software Engineering - Programming Languages - Compilers - Interpreters - Computer Systems Organization and Communication Ne - Computing Milieux - Theory of Computation - Computing Methodologies
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 10482
Tipo de documento: Reunión
Edición: 1st ed. 2017
Editor: Springer International Publishing
ISBN-e: 978-3-319-68167-2
ISSN-e: 1611-3349