Adapting Proofs-as-Programs - Couverture souple

Poernomo, Iman Hafiz; Crossley, John Newsome; Wirsing, Martin

 
9780387503721: Adapting Proofs-as-Programs

L'édition de cet ISBN n'est malheureusement plus disponible.

Autres éditions populaires du même titre

9780387237596: Adapting Proofs-As-Programs: The Curry--Howard Protocol

Edition présentée

ISBN 10 :  0387237593 ISBN 13 :  9780387237596
Editeur : Springer-Verlag New York Inc., 2005
Couverture rigide