Εξώφυλλο

Type theory and formal proof an introduction

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Nederpelt, Rob (Συγγραφέας), Geuvers, Herman (Συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:Αγγλικά
Έκδοση: Cambridge Cambridge University Press 2014.
Θέματα:
Type theory.
Computers > Programming languages.