Busquedas:
- Autor/Editor: Li, Yanhui
- Autor/Editor: Boumerdassi, Selma
- Autor/Editor: Raphael, Ben
- Autor/Editor: Bleam, W. F.
- Autor/Editor: Alkmim, Fernando F.
- Autor/Editor: Walsh, David A.
- Autor/Editor: Seitz, Harald
- Autor/Editor: Pecker, Alain
- Autor/Editor: Collins, Tom
- Autor/Editor: Meacham, Brian
- Keyword: Computational Biology/Bioinformatics
- Autor/Editor: Boyd, Colin
- Autor/Editor: Leitner, Walter
- Autor/Editor: Clark, Robert M.
- Autor/Editor: Halseth, Greg R.
- Autor/Editor: Emanueli, Francesca
- Autor/Editor: Anjana
- Autor/Editor: Yan, Fei
- Autor/Editor: Wright, Graham A.
1/1
Software Engineering and Formal Methods
Autor/Editor: Hierons, Robert M. - Merayo, Mercedes G. - Bravetti, Mario
Año de edición: 2013
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 - Computer Communication Networks - Programming Techniques
Título de la Serie: Lecture Notes in Computer Science
Tipo de documento: Reunión
Editor: Springer Berlin Heidelberg
ISBN-e: 978-3-642-40561-7
ISSN-e: 1611-3349