Logic-Based Program Synthesis and Transformation

Elemento

Título (dcterms:title)

Logic-Based Program Synthesis and Transformation

Autores (dcterms:creator)

Falaschi

Año Publicación (dcterms:date)

2015

Editorial (dcterms:publisher)

Springer International Publishing

ISBN (bibo:isbn)

978-3-319-27435-5

eBook (bibo:isbn13)

978-3-319-27436-2

PDF (bibo:uri)

https://cutt.ly/SnrMmrD

EPUB (foaf:workInfoHomepage)

https://cutt.ly/rnr23EO

Colecciones

Springer