1/1
Foundations of Algebraic Specification and Formal Software Development
Autor/Editor: Sannella, Donald - Tarlecki, Andrzej
Año de edición: 2012
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Logics and Meanings of Programs - Software Engineering/Programming and Operating Sys - Mathematical Logic and Foundations - Category Theory - Homological Algebra
Título de la Serie: EATCS Monographs on Theoretical Computer Science
Tipo de documento: Monografía
Editor: Springer Berlin Heidelberg
ISBN-e: 978-3-642-17336-3