Martin Wirsing
Livres de Martin Wirsing
Résultats : 1 à 1 sur 1 livre
Adapting Proofs-as-Programs
The Curry-Howard Protocol
Auteurs : Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Éditeur : Springer
Date de parution : 17/08/2005
Indisponible
Les livres de Martin Wirsing sont disponibles dans les rayons suivants
Informatique
Développement d'applications
