Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions تمت الكتابة بواسطة Yves Bertot; Pierre Castéran وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Interactive Theorem Proving and Program Development هي 9783662079645, 366207964X و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540208549, 3540208542. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource. تشمل الأرقام الدولية المعيارية للكتاب (ISBN) للكتاب الدراسي الإلكتروني 9783642058806.

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions تمت الكتابة بواسطة Yves Bertot; Pierre Castéran وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Interactive Theorem Proving and Program Development هي 9783662079645, 366207964X و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540208549, 3540208542. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource. تشمل الأرقام الدولية المعيارية للكتاب (ISBN) للكتاب الدراسي الإلكتروني 9783642058806.