مرحباً بك في جرير!
Item 1 of 1
Item 1 of 1
Springer
Termination Proofs for Logic Programs
389ر.س.
شامل ضريبة القيمة المضافة
23ر.س.شهرياً/24 شهر
هذا الكتاب يُطبع عند الطلب وغير قابل للاسترجاع بعد الشراء
الصيغ المتوفرة:
كتاب مطبوع
سيتم إرسال الطلب الى عنوانك
389ر.س.
شامل الضريبة
استبدال أسهل
تسوّق آمن
أصلي ومضمون
توصيل سريع
أو
عن المنتج
This book presents a technique for the automatic generation of termination proofs for logic programs, which constitute a crucial part of program verification. Several nontrivial examples are discussed.
أبلغ عن مشكلة مع هذا المنتج
