Types for Proofs and Programs

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers 1st الإصدار تمت الكتابة بواسطة Stefano Berardi; ‎Ferruccio Damiani; ‎Ugo de Liguoro وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Types for Proofs and Programs هي 9783642024443, 3642024440 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642024436, 3642024432. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers 1st الإصدار تمت الكتابة بواسطة Stefano Berardi; ‎Ferruccio Damiani; ‎Ugo de Liguoro وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Types for Proofs and Programs هي 9783642024443, 3642024440 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642024436, 3642024432. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.