Busquedas:
- Autor/Editor: Chen, Quan
- Keyword: Early works to 1800
- Autor/Editor: Snoeyink, Jack
- Autor/Editor: Sireteanu, Tudor
- Autor/Editor: Aleixandre Benavent, JoseÌ Luis
- Keyword: Bioethics
- Keyword: gen
- Autor/Editor: Mukhopadhyay, Subhas Chandra
- Autor/Editor: Ermolayev, Vadim
- Keyword: Cultural Theory
- Autor/Editor: Alcañiz Monge, Juan
- Autor/Editor: Ray, Shubhra Sankar
- Autor/Editor: Rotondo, Francesco
- Autor/Editor: Janssen, Frederik
- Autor/Editor: Schenk, Tim
- Keyword: Learning.
- Autor/Editor: Yilmaz, Ihsan Onur
- Keyword: Comparative Linguistics
- Autor/Editor: Barthet, Mathieu
- Autor/Editor: Yan, Haowen
- Autor/Editor: Yust, Jason
- Autor/Editor: Davidson, Michael
- Keyword: Stem Cells
- Autor/Editor: Jagadeesh, Prabhudev
- Autor/Editor: Filipovic, Nenad
- Autor/Editor: Singleton, Alex
- Autor/Editor: Ouangraoua, Aïda
- Keyword: Music
- Autor/Editor: Debbah, Mérouane
- Keyword: Psychological tests
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