Logic Based Program Synthesis and Transformation, 11 conf., LOPSTR 2001
Alberto Pettorossi
Proceedings of the 11th Intl Workshop, LOPSTR 2001 held November 28-30, 2001 in Paphos, Cyprus. Selected papers on topical sections on program transformation and equivalence, program verification, program analysis, development, and program synthesis. Softcover.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
