Logic Based Program Synthesis and Transformation

Författare
LOPSTR 2003
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer Berlin Heidelberg 2004 Utgivningsland okänt / Ej specificerat