Programming Logics

Elemento

Título
Programming Logics
Autores
Voronkov
Año Publicación
2013
Editorial
Springer Berlin Heidelberg
ISBN
978-3-642-37650-4
eBook
978-3-642-37651-1
Colecciones
Springer