Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994 : Proceedings - Couverture souple

 
9780387605791: Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994 : Proceedings
Couverture souple
ISBN 10 : 0387605797 ISBN 13 : 9780387605791

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

Langue
anglais
ISBN 10 
0387605797
ISBN 13 
9780387605791
Reliure
Broché
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9783540605799: Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Edition présentée

ISBN 10 :  3540605797 ISBN 13 :  9783540605799
Editeur : Springer, 2008
Couverture souple