Book types and programming languages - Compare Prices and buy the Book
Browse main categories
Thud! from Terry Pratchett
KoomValley? That was where the trolls ambushed the dwarfs, or the dwarfs ambushed the trolls. It was far away. It was a long time ago.

But if he doesn’t solve the murder of just one dwarf, Commander Sam Vimes of Ankh-Morpork City Watch is going to see it fought again, right outside his office.
With his beloved Watch crumbling around him and war-drums sounding, he must unravel every clue, outwit every assassin and brave any darkness to find the solution.And darkness is following him....

Compare book prices of Thud!
From the Inside Flap of the Audio Cassette edition



Title: Types and Programming Languages
Author: BC Pierce
ISBN: 0262162091
EAN: 9780262162098
645 Pages
Publisher: MIT Press
Binding: Hardcover
Publication date: 2002-02-05


shopcond.avail.pricedelivery coststotal
Used Book Types and Programming Languages bei Amazon Buy nowUSED£ 19.99£ 2.75£ 22.74Buy now
USED*£ 30.26starting at £2.40£ 32.66Buy now
Book Types and Programming Languages new from BooksellerNEW£ 37.92£ 2.75£ 40.67Buy now
Book Types and Programming Languages on Amazon UK Buy nowNEW£ 41.75free on orders over £ 19£ 41.75Buy now
Compman - Buy NowNEW£ 41.95free on orders over £ 5£ 41.95Buy now
bookfellas - Buy NowNEW£ 41.95free on orders over £ 5£ 41.95Buy now
Blackwell - Buy NowNEW£ 43.95free on orders over £ 20£ 43.95Buy now


similar books

Advanced Topics in Types and Programming Languages Advanced Topics in Types and Progra...
Basic Category Theory for Computer Scientists (Foundations of computing) Basic Category Theory for Computer ...
The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing): An Introduction (Foundations of Computing) The Formal Semantics of Programming...
Logic in Computer Science: Modelling and Reasoning About Systems Logic in Computer Science: Modellin...
Programming Language Pragmatics Programming Language Pragmatics
Interactive Theorem Proving and Program Development: Coq'Art: the Calculus of Inductive Constructions (Texts in Theoretical Computer Science: An EATCS Series) Interactive Theorem Proving and Pro...
An Introduction to Lambda Calculi for Computer Scientists An Introduction to Lambda Calculi f...
Communicating and Mobile Systems : The Pi-Calculus: The Pi Calculus Communicating and Mobile Systems : ...
Programming Erlang: Software for a Concurrent World Programming Erlang: Software for a ...
Programming in Haskell Programming in Haskell

last viewed books

Efficacy of Caries Preventive Strategies: Proceedings of the Scientific Conference of the European Academy of Paediatric Dentistry, Noordwijkerhout, March 1992 (Caries Research) Efficacy of Caries Preventive Strat...
Little Bunny's Busy Day (Little Hugs Books) Little Bunny's Busy Day (Little Hug...
Sundays at Tiffany's Sundays at Tiffany's
The Little Book of Calorie Burning (Little Book) The Little Book of Calorie Burning ...
Minolta 7000 Minolta 7000
Matthew for Everyone: Part 2 (New Testament Guides for Everyone): Pt. 2 Matthew for Everyone: Part 2 (New T...