Busquedas:
- Autor/Editor: Matthäus-Maier, Ingrid
- Autor/Editor: Chen, Xu
- Autor/Editor: Kumar, Panakala Rajesh
- Autor/Editor: Potts, Matthew D.
- Autor/Editor: Németh, Zsolt
- Autor/Editor: Longo, Luca M.
- Autor/Editor: Pfeifer, Niki
- Autor/Editor: Gibson-Robinson, Thomas
- Autor/Editor: Vrajitoru, Dana
- Autor/Editor: Naik, Prakash Chandra
- Autor/Editor: Vespremeanu-Stroe, Alfred
- Autor/Editor: Löbner, Sebastian
- Autor/Editor: Tragler, Gernot
- Autor/Editor: Hu, Yim Fun
- Autor/Editor: Ichimura, Satoshi
- Autor/Editor: Calvo VeÌrgez, Juan
- Autor/Editor: Del Bo, Adalbert
- Autor/Editor: Riemsdijk, M. Birna van
- Autor/Editor: Falchi, Fabrizio
- Autor/Editor: Sha, Yongjie
- Autor/Editor: Parmentier, Yannick
- Autor/Editor: Tarakanov, Roman Yu.
- Autor/Editor: Cristea, Alexandra I.
- Autor/Editor: Gamboa, Ruben
- Autor/Editor: Fernández-Baca, David
- Autor/Editor: Claypool, Mark
- Autor/Editor: Golfarelli, Mattéo
- Autor/Editor: Yang, Chaowei
- Autor/Editor: Miranda, Eduardo Reck
- Keyword: Substance abuse
1/1
Integrated Formal Methods
Autor/Editor: Ábrahám, Erika - Huisman, Marieke
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 - Mathematical Logic and Formal Languages
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 9681
Tipo de documento: Monografía
Edición: 1st ed.
Editor: Springer International Publishing
ISBN-e: 978-3-319-33693-0
ISSN-e: 1611-3349