Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006,  Revised Selected Papers - Theoretical Computer Science and General Issues 4502 (Paperback)
  • Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006,  Revised Selected Papers - Theoretical Computer Science and General Issues 4502 (Paperback)
zoom

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

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

Usually despatched 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 Programming Absolute Beginner's Guide
Added to basket
Test Driven Development in C
Added to basket
C Programming in Easy Steps
Added to basket
C++ Templates
Added to basket
£58.99
Hardback
A Tour of C++
Added to basket
£25.99
Paperback
R Cookbook
Added to basket
£31.99
Paperback
Data Analysis Using SQL and Excel
Added to basket
Learn To Program
Added to basket
£19.99
Paperback
C Programming Language
Added to basket
Exercises in Programming Style
Added to basket
C++ For Dummies
Added to basket
£21.99
Paperback
Python For Dummies
Added to basket
£22.99
Paperback
C++ Pocket Reference
Added to basket
C++ Primer
Added to basket
£43.99
Paperback
Coding for Beginners in easy steps
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.