Types for Proofs and Programs

Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers 1st الإصدار تمت الكتابة بواسطة Herman Geuvers; ‎Freek Wiedijk وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Types for Proofs and Programs هي 9783540391852, 3540391851 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540140313, 354014031X. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers 1st الإصدار تمت الكتابة بواسطة Herman Geuvers; ‎Freek Wiedijk وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Types for Proofs and Programs هي 9783540391852, 3540391851 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540140313, 354014031X. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.