Logic-Based Program Synthesis and Transformation

Elemento

Título (dcterms:title)

Logic-Based Program Synthesis and Transformation

Autores (dcterms:creator)

Proietti

Año Publicación (dcterms:date)

2015

Editorial (dcterms:publisher)

Springer International Publishing

ISBN (bibo:isbn)

978-3-319-17821-9

eBook (bibo:isbn13)

978-3-319-17822-6

PDF (bibo:uri)

https://cutt.ly/TnrN2ak

EPUB (foaf:workInfoHomepage)

https://cutt.ly/hnr29mC

Colecciones

Springer