Busquedas:
- Autor/Editor: Vygen, Jens
- Autor/Editor: Fernández-Baca, David
- Autor/Editor: Helleseth, Tor
- Autor/Editor: Gannot, Sharon
- Autor/Editor: Ali, Sk Subidh
- Autor/Editor: Katajainen, Jyrki
- Autor/Editor: Pfeifer, Niki
- Autor/Editor: Hu, Yim Fun
- Autor/Editor: Nipkow, Tobias
- Autor/Editor: Claypool, Mark
- Autor/Editor: Chen, Xu
- Autor/Editor: Kannan, Rajkumar
- Keyword: Psychological tests
- Autor/Editor: Cîrstea, Corina
- Autor/Editor: Yang, Chaowei
- Autor/Editor: Gamboa, Ruben
- Autor/Editor: Walukiewicz, Igor
- Autor/Editor: Mrokowska, Magdalena Maria
- Autor/Editor: Schuster, Alfons Josef
- Autor/Editor: Guttmann, Walter
- Autor/Editor: Seyff, Norbert
- Autor/Editor: Lin, Yi-Bing
- Autor/Editor: Luo, Xiaoguang
1/1
Critical Systems: Formal Methods and Automated Verification
Autor/Editor: Petrucci, Laure - Seceleanu, Cristina - Cavalcanti, Ana
Año de edición: 2017
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Programming Languages - Compilers - Interpreters - Logics and Meanings of Programs - Software Engineering - Special Purpose and Application-Based Systems - Mathematical Logic and Formal Languages
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 10471
Tipo de documento: Reunión
Edición: 1st ed. 2017
Editor: Springer International Publishing
ISBN-e: 978-3-319-67113-0
ISSN-e: 1611-3349