Articles liés à Types for Proofs and Programs: International Workshop...

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.

  • ISBN 10 0387605797
  • ISBN 13 9780387605791
  • ReliureBroché
  • Langueanglais
  • Coordonnées du fabricantnon disponible

(Aucun exemplaire disponible)

Chercher:



Créez une demande

Vous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !

Créez une demande

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