Logic Based Program Synthesis and Transformation, 11 conf.

Logic Based Program Synthesis and Transformation, 11 conf

Logic Based Program Synthesis and Transformation, 11 conf., LOPSTR 2001

by: Alberto Pettorossi,

Publisher: Springer (2002)

Print length: 274
ISBN: 3540439153,9783540439158,

Language: English