1/1
Formal Methods for Components and Objects
Autor/Editor: Aichernig, Bernhard K. - Boer, Frank S. - Bonsangue, Marcello M.
Año de edición: 2012
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Software Engineering - Programming Languages - Compilers - Interpreters - Operating Systems - Logics and Meanings of Programs - Software Engineering/Programming and Operating Sys - Programming Techniques
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 6957
Tipo de documento: Reunión
Editor: Springer Berlin Heidelberg
ISBN-e: 978-3-642-25271-6
ISSN-e: 1611-3349