A Dependently Typed Programming Language

A Dependently Typed Programming Language

Paperback Published on: 01/09/2011
£59.00
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: Proquest, Umi Dissertation Publishing
  • ISBN: 9781244023963
  • Number of pages: 172
  • Dimensions: 246 x 189 x 9 mm
  • Weight: 318g

Customer Reviews

You may also like...

The Fabric of Reality
David Deutsch
£12.99
A Briefer History of Time
Leonard Mlodinow
£10.99
The Disappearing Spoon...and other true tales from the Periodic Table
Sam Kean
£11.99
Collapse
Jared Diamond
£18.99
The Ascent Of Man
Jacob Bronowski
£14.99
The Secrets of Alchemy
Lawrence M. Principe
£15.00
Nothing
Frank Close
£9.99
The Character of Physical Law
Richard P Feynman
£12.99
The Poetics of Space
Gaston Bachelard
£14.99
The Age of Wonder
Richard Holmes
£14.99
Critical Mass
Philip Ball
£11.99
The Information
James Gleick
£14.99
The Structure of Scientific Revolutions
Thomas S. Kuhn
£15.00
What is Life?
Erwin Schrodinger
£15.99
Physics and Philosophy
Werner Heisenberg
£12.99
Einstein
Walter Isaacson
£10.99