Logic-Based Program Synthesis and Transformation

Type:

e-book

Titel:

Logic-Based Program Synthesis and Transformation

Auteur:

Hermenegildo; Lopez-Garcia, Pedro

Taal:

Engels

Uitgever:

Springer International Publishing 2017

ISBN:

3-319-63138-1
3-319-63139-X

Permalink:

http://bibtest.howest.be/catalog/ebk03:4340000000061636