صورة الغلاف

Type theory and formal proof an introduction

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Nederpelt, Rob (مؤلف), Geuvers, Herman (مؤلف)
التنسيق: كتاب
اللغة:الإنجليزية
منشور في: Cambridge Cambridge University Press 2014.
الموضوعات:
Type theory.
Computers > Programming languages.