Program Development in Computational Logic

Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development 1st الإصدار تمت الكتابة بواسطة Maurice Bruynooghe; ‎KungKiu Lau وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Program Development in Computational Logic هي 9783540259510, 3540259511 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540221524, 3540221522. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development 1st الإصدار تمت الكتابة بواسطة Maurice Bruynooghe; ‎KungKiu Lau وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Program Development in Computational Logic هي 9783540259510, 3540259511 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540221524, 3540221522. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.