Non-Fiction, Computing & Technology, Computing Basics & Reference
Types for Proofs and Programs

Types for Proofs and Programs: International Conference, Types 2007, Cividale Del Friuli, Italy, May 2-5, 2007, Revised Selected Papers

Paperback Published on: 31/05/2008
£31.50
No reviews yet, be the first
Free UK delivery on orders over £25
Not available
This product is currently unavailable
Make and edit your lists in your account
No stock available in any shop.
Not available
This product is currently unavailable
No stock available in any shop.

Publisher information

  • Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • ISBN: 9783540681038
  • Number of pages: 202
  • Languages: English

Customer Reviews

You may also like...

Adventures in Python
Craig Richardson
£18.00
Domain-Driven Design
Eric Evans
£55.49
Just Spring
Madhusudhan Konda
£15.99
Structure and Interpretation of Computer Programs
Harold Abelson
£76.00
Game Feel
Steve Swink
£49.99
Harnessing Hibernate
James Elliott
£31.99
Theory of Fun for Game Design
Raph Koster
£35.99
Observing the User Experience
Elizabeth Goodman
£46.99
C Programming Language
Dennis Ritchie
£49.99
JavaScript and jQuery
Jon Duckett
£30.99
Information Theory, Inference and Learning Algorithms
David J. C. MacKay
£60.00
Designing Data-Intensive Applications
Martin Kleppmann
£47.99
C Programming
K. N. King
£57.99
Python Pocket Reference
Mark Lutz
£19.99
Ada Lovelace: Bride of Science
Benjamin Woolley
£14.99
Concise Computer Vision
Reinhard Klette
£40.99