

Logic Based Program Synthesis and Transformation
- Undertitel
- 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers
- Redaktör
- Alberto Pettorossi
- ISBN
- 9783540456070
- Språk
- Engelska
- Utgivningsdatum
- 2003-08-03
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator