Logic Based Program Synthesis and Transformation

Logic Based Program Synthesis and Transformation

Logic Based Program Synthesis and Transformation
2006ISBN 9783540326540
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