1/1
Formal Methods and Software Engineering
Autor/Editor: Merz, Stephan - Pang, Jun
Año de edición: 2014
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Computer Communication Networks - Mathematical Logic and Formal Languages - Algorithm Analysis and Problem Complexity - Programming Languages - Compilers - Interpreters - Programming Techniques - Software Engineering
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 8829
Tipo de documento: Reunión
Editor: Springer International Publishing
ISBN-e: 978-3-319-11737-9
ISSN-e: 1611-3349