Logic and Program Semantics

Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday 1st الإصدار تمت الكتابة بواسطة Robert L. Constable; ‎Alexandra Silva وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Logic and Program Semantics هي 9783642294853, 3642294855 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642294846, 3642294847. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday 1st الإصدار تمت الكتابة بواسطة Robert L. Constable; ‎Alexandra Silva وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Logic and Program Semantics هي 9783642294853, 3642294855 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642294846, 3642294847. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.