Visit our Christmas Gift Finder
Click & Collect from 2 Hours
Last Christmas Delivery Dates
Free UK Standard Delivery on orders £20 and over Order in time for Christmas 18th December 2nd Class | 19th December 1st Class Free Click & Collect to shops From 2 hours of your order*
Dependntly Typed Programming with Domain-Specific Logics (Paperback)
  • Dependntly Typed Programming with Domain-Specific Logics (Paperback)
zoom

Dependntly Typed Programming with Domain-Specific Logics (Paperback)

(author), (author)
£59.00
Paperback Published: 01/09/2011
  • Not available

This product is currently unavailable.

  • This item has been added to your basket

Publisher: Proquest, Umi Dissertation Publishing
ISBN: 9781244666719
Weight: 404 g
Dimensions: 246 x 189 x 12 mm

You may also be interested in...

The Laws of Simplicity
Added to basket
The Boy Who Harnessed the Wind
Added to basket
Mathematical Physics
Added to basket
The C++ Programming Language
Added to basket
Science for Engineering, 5th ed
Added to basket
Making It, 2nd edition
Added to basket
A Vast Machine
Added to basket
£24.00
Paperback
The Cotton Industry
Added to basket
£4.99
Paperback
100 Diagrams That Changed The World
Added to basket
MATLAB Demystified
Added to basket
£21.99
Paperback
Engineering
Added to basket
£9.99
Paperback
The Engineering Book
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.