Related Books

Logic Based Program Synthesis and Transformation
Language: en
Pages: 275
Authors: Alberto Pettorossi
Categories: Computers
Type: BOOK - Published: 2002-07-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents recent advances in the field of nanoscale characterization of ferroelectric materials using scanning probe microscopy (SPM). It addresses var
Logic Based Program Synthesis and Transformation
Language: en
Pages: 191
Authors: Kung-Kiu Lau
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

DOWNLOAD EBOOK

Logic-Based Program Synthesis and Transformation
Language: en
Pages: 322
Authors: Annalisa Bossi
Categories: Computers
Type: BOOK - Published: 2006-12-30 - Publisher: Springer

DOWNLOAD EBOOK

This volume contains the proceedings of the ninth international workshop on logic-based program synthesis and transformation (LOPSTR’99) which was held in Ven
Logic Program Synthesis and Transformation
Language: en
Pages: 258
Authors: Yves Deville
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains extended versions of papers presented at the Third International Workshop on Logic Program Synthesis and Transformation (LOPSTR 93) held in
Mathematics of Program Construction
Language: en
Pages: 404
Authors: Johan Jeuring
Categories: Computers
Type: BOOK - Published: 1998-05-27 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book consitutes the refereed proceedings of the 4th International Conference on Mathematics of Program Construction, MPC'98, held in Marstrand, near Gotebo