Busquedas:
- Autor/Editor: Sossa-Azuela, Juan Humberto
- Autor/Editor: Kamsties, Erik
- Autor/Editor: Zschaler, Steffen
- Autor/Editor: Price, Mark
- Autor/Editor: Shamis, Pavel
- Autor/Editor: Alper, Pinar
- Autor/Editor: Arana, Vladimir
- Autor/Editor: Frank, Andrea I.
- Autor/Editor: Imam, Neena
- Autor/Editor: Rusu, Vlad
- Autor/Editor: Obermayr, Christian
- Autor/Editor: Mukherjee, Saswati
- Autor/Editor: Murayama, Yuji
- Autor/Editor: Sarkar, Sudeep
- Autor/Editor: Rey, Emmanuel
- Autor/Editor: Ribas-Mateos, Natalia
- Autor/Editor: Martinez, Fabien
- Autor/Editor: Murayama, Yuko
- Autor/Editor: Hoppe, Thomas
- Autor/Editor: Thrun, Michael Christoph
- Autor/Editor: Roedl, George
- Autor/Editor: Krennwallner, Thomas
- Autor/Editor: Hernández Heredia, Yanio
- Autor/Editor: He, Daqing
- Autor/Editor: Yin, Hujun
- Autor/Editor: Lopez, M. Graham
- Autor/Editor: Carrasco-Ochoa, Jesús Ariel
- Autor/Editor: Ayala Ramirez, Victor
- Autor/Editor: Pophale, Swaroop
- Autor/Editor: Phillips, Preetha
1/1
Rewriting Logic and Its Applications
Autor/Editor: Rusu, Vlad
Año de edición: 2018
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Computer Science - Logics and Meanings of Programs - Programming Languages - Compilers - Interpreters - Software Engineering - Programming Techniques - Mathematical Logic and Formal Languages
Título de la Serie: Lecture Notes in Computer Science
Tipo de documento: Reunión
Edición: 1st ed.
Editor: Springer International Publishing
ISBN-e: 978-3-319-99840-4
ISSN-e: 1611-3349