La lecture à portée de main
Auteur
Suivre Markus Axel Aderhold
Documents
Verification of second-order functional programs [Elektronische Ressource] / von Markus Axel Aderhold
Markus Axel Aderhold
Documents
Savoirs
Verification of second-order functional programs [Elektronische Ressource] / von Markus Axel Aderhold
Markus Axel Aderhold
248 pages
English