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.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
