Items related to Types for Proofs and Programs: International Workshop...

Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994 : Proceedings (Lecture Notes in Computer Science) - Softcover

 
9780387605791: Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994 : Proceedings (Lecture Notes in Computer Science)
Softcover
ISBN 10: 0387605797 ISBN 13: 9780387605791

This specific ISBN edition is currently not available.

  • ISBN 10 0387605797
  • ISBN 13 9780387605791
  • BindingPaperback
  • LanguageEnglish

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783540605799: Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers (Lecture Notes in Computer Science, 996)

Featured Edition

ISBN 10:  3540605797 ISBN 13:  9783540605799
Publisher: Springer, 1995
Softcover