Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Stefano Berardi , Ferruccio Damiani , Ugo de Liguoro
Pas encore d'évaluations
Jun 19, 2009 · Anglais · Broché (331 pages)
Ajouter à l'étagère

Évaluer ce livre


Exporter le journal de lecture

Avis

Aucun avis pour le moment

Soyez le premier à donner votre avis sur ce livre et partagez vos pensées

Se connecter pour évaluer
Ajouter à l'étagère

Évaluer ce livre


Exporter le journal de lecture