‎Logic based Program synthesis and transformation : 14th international symposium , LOPSTR ‎DSandro Etalle (ED)

عنوان کتاب : ‎Logic based Program synthesis and transformation : 14th international symposium , LOPSTR

مولف : ‎DSandro Etalle (ED)

انتشار : ‎Italy: Sprnger, 2005

رده بندی کنگره : ‎BC 108 .I5L6 2005

شماره ثبت : 5481

دانلود نسخه PDF ‎Logic based Program synthesis and transformation : 14th international symposium , LOPSTR