Busquedas:
- Autor/Editor: Masterson, Jaimie Hicks
- Autor/Editor: Larco, Nico
- Autor/Editor: Lydon, Mike
- Autor/Editor: Tardin, Raquel
- Keyword: Neck
- Keyword: Head
- Autor/Editor: Nowobilska, Malgorzata
- Keyword: Popular works
- Keyword: Macroeconomics
- Autor/Editor: Langdon, Melissa
- Keyword: Relativity (Physics)
- Keyword: Electrical engineering
- Autor/Editor: Joshi, Niraj Prakash
- Keyword: Urbanism
- Autor/Editor: Mathian, Hélène
- Keyword: Music
1/1
Formal Methods: Foundations and Applications. 19th Brazilian Symposium, SBMF 2016, Proceedings
Autor/Editor: Ribeiro, Leila - Lecomte, Thierry
Año de edición: 2016
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Software Engineering - Logics and Meanings of Programs - Programming Languages - Compilers - Interpreters - Simulation and Modeling - Management of Computing and Information Systems - Mathematical Logic and Formal Languages
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 10090
Tipo de documento: Monografía
Edición: 1st ed.
Editor: Springer International Publishing
ISBN-e: 978-3-319-49815-7
ISSN-e: 1611-3349