Types for Proofs and Programs

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

, ,
Paperback Published on: 18/10/1995
£44.99
No reviews yet, be the first
Free UK delivery on orders over £25
We can order this from the publisher
Usually dispatched within 3 weeks
Make and edit your lists in your account
No stock available in any shop.
We can order this from the publisher
Usually dispatched within 3 weeks
No stock available in any shop.

Publisher information

  • Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • ISBN: 9783540605799
  • Number of pages: 210
  • Dimensions: 233 x 155 mm
  • Languages: English

Customer Reviews

You may also like...

Clean Code
Robert C. Martin
£43.99
Clean Coder, The
Robert C. Martin
£36.99
Algorithms Unlocked
Thomas H. Cormen
£29.00
Algorithms
Robert Sedgewick
£66.49
JavaScript Pocket Reference
David Flanagan
£19.99
Structure and Interpretation of Computer Programs
Harold Abelson
£76.00
Jamaican Cooking Made Easy
Getjamaica Com
£15.00
Game Feel
Steve Swink
£49.99
The Mythical Man-Month
JavaScript and jQuery
Jon Duckett
£30.99
Information Theory, Inference and Learning Algorithms
David J. C. MacKay
£60.00
User Story Mapping
Jeff Patton
£31.99
Designing Data-Intensive Applications
Martin Kleppmann
£47.99
C Programming
K. N. King
£57.99
Git Pocket Guide
Richard Silverman
£19.99
Ada Lovelace: Bride of Science
Benjamin Woolley
£14.99