Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Logic Based Program Synthesis and Transformation, 11 conf., LOPSTR 2001
Автор: Pettorossi A.
Аннотация:
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.