Busquedas:
- Autor/Editor: Tehranipoor, Mohammad
- Autor/Editor: Stølen, Ketil
- Autor/Editor: Mumtaz, Shahid
- Autor/Editor: Baschirotto, Andrea
- Autor/Editor: Cosslett, Patrick D.
- Autor/Editor: Haasdijk, Evert
- Autor/Editor: Ojala, Timo
- Autor/Editor: Bártolo, Paulo
- Autor/Editor: Fränzle, Martin
- Autor/Editor: Hamsapriya, T.
- Autor/Editor: Lipmaa, Helger
- Autor/Editor: Jacobson, Michael
- Autor/Editor: Morassi, Antonino
- Autor/Editor: Chen, Jiming
- Autor/Editor: Westergård, Rune
- Autor/Editor: Lambert, Pierre
- Autor/Editor: Xu, Chong-wei
- Autor/Editor: Kwiecień, Andrzej
- Autor/Editor: Upadhyay, Nitin
- Autor/Editor: Avramenko, Yuri
- Autor/Editor: Kumar, Vijay
- Autor/Editor: Woelke, Pawel
- Autor/Editor: Krys'ko, Vadim Anatolevich
- Autor/Editor: Sundaram, Rajakumar
- Autor/Editor: Nascimento, Alberto
- Autor/Editor: Schulte, Frederik
- Autor/Editor: Murthy, D. N. Prabhakar
- Keyword: general
- Autor/Editor: Varoudis, Tasos
- Autor/Editor: Leroy, Pascal
1/1
Specification, Algebra, and Software
Autor/Editor: Iida, Shusaku - Meseguer, José - Ogata, Kazuhiro
Año de edición: 2014
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Programming Languages - Compilers - Interpreters - Software Engineering - Mathematical Logic and Formal Languages - Logics and Meanings of Programs
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 8373
Tipo de documento: Monografía
Editor: Springer
ISBN-e: 978-3-642-54624-2
ISSN-e: 1611-3349