Visit our Christmas Gift Finder
Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006,  Revised Selected Papers - Lecture Notes in Computer Science 4502 (Paperback)
  • Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006,  Revised Selected Papers - Lecture Notes in Computer Science 4502 (Paperback)
zoom

Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers - Lecture Notes in Computer Science 4502 (Paperback)

(volume editor), (volume editor)
£62.99
Paperback 272 Pages / Published: 01/10/2007
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket

The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The 17 papers address all current issues in formal reasoning and computer programming based on type theory, including languages and computerized tools for reasoning; applications in several domains, such as analysis of programming languages; certified software; formalization of mathematics; and mathematics education.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540744634
Number of pages: 272
Weight: 900 g
Dimensions: 235 x 155 x 15 mm
Edition: 2007 ed.

You may also be interested in...

C++ All-in-One For Dummies
Added to basket
C++ Templates
Added to basket
£59.49
Hardback
Learn C the Hard Way
Added to basket
£29.48
Mixed media product
Python For Dummies
Added to basket
£22.99
Paperback
C++ For Dummies
Added to basket
£21.99
Paperback
Data Analysis Using SQL and Excel
Added to basket
M Is for (Data) Monkey
Added to basket
£26.99
Paperback
R Cookbook
Added to basket
£31.99
Paperback
Learn To Program
Added to basket
£19.99
Paperback
The C++ Programming Language
Added to basket
Living Clojure
Added to basket
£31.99
Paperback
Haskell
Added to basket
£48.99
Paperback
Effective C++
Added to basket
£40.49
Paperback
Developer's Code
Added to basket
£22.99
Paperback
C Programming Absolute Beginner's Guide
Added to basket
C Programming in Easy Steps
Added to basket

Please sign in to write a review

Your review has been submitted successfully.