Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993, Selected Papers - Couverture souple

Barendregt, Henk

 
9780387580852: Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993, Selected Papers
Couverture souple
ISBN 10 : 0387580859 ISBN 13 : 9780387580852
Editeur : Springer Verlag, 1994

Synopsis

Book by Barendregt Henk

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer Verlag
Date d'édition
1994
Langue
anglais
ISBN 10 
0387580859
ISBN 13 
9780387580852
Reliure
Broché
Éditeur
Nipkow Tobias
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9783540580850: Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers

Edition présentée

ISBN 10 :  3540580859 ISBN 13 :  9783540580850
Editeur : Springer, 2008
Couverture souple