Busquedas:
- Autor/Editor: Redmiles, David
- Autor/Editor: Akça, Erhan
- Autor/Editor: Timperley, Helen
- Keyword: Gas-pipes
- Autor/Editor: De Angeli, Antonella
- Autor/Editor: Ramirez, José
- Autor/Editor: Naik, Azad
- Autor/Editor: Riemsdijk, M. Birna van
- Autor/Editor: Carbonell Barrachina, Angel Antonio
- Autor/Editor: Tiwari, Supriya
- Autor/Editor: Samli, A. Coskun
- Autor/Editor: Moe, Espen
- Autor/Editor: Chizzolini, Barbara
- Autor/Editor: Apikyan, Samuel
- Autor/Editor: Matthäus-Maier, Ingrid
- Autor/Editor: Bächtold, Peter
- Autor/Editor: d'Andréa-Novel, Brigitte
- Autor/Editor: Reepmeyer, Gerrit
- Autor/Editor: Lorenzo GarciÌa, Lourdes
- Autor/Editor: Rabasco, MariÌa Esther
- Autor/Editor: Pasquini, Andrea Inés
- Autor/Editor: Fortes Ruiz, MariÌa Remedios
- Autor/Editor: Wierzchoń, Sławomir
- Autor/Editor: Spector, J. Michael
- Keyword: Lexicology/Vocabulary
- Keyword: Economic aspects
- Autor/Editor: Ribeiro, Márcio
- Autor/Editor: Barbaresco, Frédéric
- Keyword: Eighteenth-Century Literature
- Autor/Editor: Ram, A. Ranjith
1/1
Concise Guide to Formal Methods
Autor/Editor: O'Regan, Gerard
Año de edición: 2017
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Mathematical Logic and Formal Languages - Software Engineering - Performance and Reliability - Mathematical Applications in Computer Science
Título de la Serie: Undergraduate Topics in Computer Science
Tipo de documento: Monografía
Edición: 1st ed. 2017
Editor: Springer International Publishing
ISBN-e: 978-3-319-64021-1
ISSN-e: 2197-1781