Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers - Lecture Notes in Computer Science 5497 (Paperback)
  • Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers - Lecture Notes in Computer Science 5497 (Paperback)
zoom

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers - Lecture Notes in Computer Science 5497 (Paperback)

(volume editor), (volume editor), (volume editor)
£62.99
Paperback 323 Pages / Published: 19/06/2009
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
These proceedings contain a selection of refereed papers presented at or - lated to the Annual Workshop of the TYPES project (EU coordination action 510996), which was held during March 26-29, 2008 in Turin, Italy. The topic of this workshop, and of all previous workshops of the same project, was f- mal reasoning and computer programming based on type theory: languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certi?ed software, mobile code, formali- tion of mathematics, mathematics education. The workshop was attended by more than 100 researchers and included more than 40 presentations. We also had three invited lectures, from A. Asperti (University of Bologna), G. Dowek (LIX, Ecole polytechnique, France) and J. W. Klop (Vrije Universiteit, A- terdam, The Netherlands). From 27 submitted papers, 19 were selected after a reviewing process. Each submitted paper was reviewed by three referees; the ?nal decisions were made by the editors. This workshop is the last of a series of meetings of the TYPES working group funded by the European Union (IST project 29001, ESPRIT Working Group 21900, ESPRIT BRA 6435).

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642024436
Number of pages: 323
Weight: 510 g
Dimensions: 235 x 155 x 20 mm
Edition: 2009 ed.

You may also be interested in...

Fluent Python
Added to basket
£39.99
Paperback
Designing Data-Intensive Applications
Added to basket
Eclipse
Added to basket
£35.99
Paperback
Building Android Apps in Easy Steps
Added to basket
C++ For Dummies
Added to basket
£21.99
Paperback
SQL For Dummies
Added to basket
£21.99
Paperback
The Pragmatic Programmer
Added to basket
The Agile Culture
Added to basket
C++ All-in-One For Dummies
Added to basket
C Programming in Easy Steps
Added to basket
Learn Python the Hard Way
Added to basket
£29.48
Mixed media product
SQL in Easy Steps
Added to basket
£10.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.