Types for Proofs and Programs

Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers

,
Paperback Published on: 20/05/1994
£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: 9783540580850
  • Number of pages: 395
  • Dimensions: 233 x 155 mm
  • Languages: English

Customer Reviews

You may also like...

Systems For All
Agnes Kaposi
£41.00
The Mythical Man-Month
Optimization Models
Giuseppe C. Calafiore
£66.00
Transport Systems and Processes
Adam Weintrit
£105
Navigational Systems and Simulators
Adam Weintrit
£105
Business Analysis Techniques
James Cadle
£39.99
IT Architecture For Dummies
Kalani Kirk Hausman
£24.99
The Computer and the Brain
John von Neumann
£12.99
Principles of Interactive Multimedia
Mark Elsom-Cook
£53.99