Logic Based Program Synthesis and Transformation, 14 conf.

Logic Based Program Synthesis and Transformation, 14 conf

Logic Based Program Synthesis and Transformation, 14 conf., LOPSTR 2004

by: Sandro Etalle,

Publisher: Springer (2005)

Print length: 285
ISBN: 3540266550,9783540266556,

Language: English