Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation
2007ISBN 9783540714095
Viršelis: MinkštasAnglų k.
Negrožinė literatūraLiteratūra užsienio kalbomisFiziniai ir technologijos mokslaiStatyba, inžinerija
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra