Busquedas:
- Autor/Editor: Kensek, K.M.
- Autor/Editor: Zhan, Justin
- Autor/Editor: Symes, David
- Keyword: Robotics and Automation
- Autor/Editor: Kent, B. R.
- Autor/Editor: Fuhr, Norbert
- Autor/Editor: Rahman, Mohammad Azizur
- Autor/Editor: Gupta, Rajiv
- Autor/Editor: Savoy, Jacques
- Autor/Editor: Israel, Susan E.
- Autor/Editor: Jansen, David N.
- Autor/Editor: Reyf, Igor E.
- Autor/Editor: Setola, Roberto
- Autor/Editor: Rathore L. S.
- Autor/Editor: Pugh, Philip
- Autor/Editor: Pino, Robinson E.
1/1
Recent Trends in Algebraic Development Techniques
Autor/Editor: Mossakowski, Till - Kreowski, Hans-Jörg
Año de edición: 2012
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Logics and Meanings of Programs - Mathematical Logic and Formal Languages - Mathematics of Computing - Theory of Computation - Computation by Abstract Devices - Mathematical Logic and Foundations
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 7137
Tipo de documento: Reunión
Editor: Springer Berlin Heidelberg
ISBN-e: 978-3-642-28412-0
ISSN-e: 1611-3349