Busquedas:
- Autor/Editor: Naor, Moni
- Autor/Editor: Di Noia, Tommaso
- Autor/Editor: Vorontsov, Konstantin
- Autor/Editor: Nešetřil, Jaroslav
- Autor/Editor: Tygar, Doug
- Colección: Historia
- Autor/Editor: Mattern, Friedemann
- Autor/Editor: Michalski, David
- Autor/Editor: Mathur, Rohit
- Autor/Editor: Lin, Dongdai
- Autor/Editor: Tao, Xiaohui
- Autor/Editor: Cesare, Silvio
- Autor/Editor: Sánchez-Pi, Nayat
- Autor/Editor: Fercher, Anton Josef
- Autor/Editor: Hitzler, Pascal
- Autor/Editor: Gupta, Sanjay Kumar
- Autor/Editor: Lu, Guangming
- Autor/Editor: Loiseau, Stephane
- Keyword: Security
1/1
FM 2015: Formal Methods
Autor/Editor: Bjørner, Nikolaj - De Boer, Frank
Año de edición: 2015
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Software Engineering - Mathematical Logic and Formal Languages - Logics and Meanings of Programs - Management of Computing and Information Systems - Computation by Abstract Devices
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 9109
Tipo de documento: Reunión
Editor: Springer International Publishing
ISBN-e: 978-3-319-19249-9
ISSN-e: 1611-3349