Delivery: Can be download immediately after purchasing. For new customer, we need process for verification from 30 mins to 12 hours.
Version: PDF/EPUB. If you need EPUB and MOBI Version, please send contact us.
Compatible Devices: Can be read on any devices
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers eBook
$89.00 Original price was: $89.00.$18.00Current price is: $18.00.
By: Stefano Berardi; Ferruccio Damiani; Ugo de Liguoro
Publisher: Springer
Print ISBN: 9783642024436, 3642024432
eText ISBN: 9783642024443, 3642024440
Edition: 1st
eText ISBN: 9783642024443
SKU: 9783642024443
Category: Trending
Tags: Computers, Intelligence (AI) & Semantics
Print ISBN: 9783642024436
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).
Be the first to review “Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers eBook” Cancel reply
You must be logged in to post a review.
Related products
-38%
eText ISBN: 9780735642737
$23.32 Original price was: $23.32.$14.37Current price is: $14.37.
-38%
Bestsellers
eText ISBN: 9780735637832
$23.32 Original price was: $23.32.$14.37Current price is: $14.37.
-38%
eText ISBN: 9780133838497
$59.98 Original price was: $59.98.$36.95Current price is: $36.95.
-38%
Bestsellers
eText ISBN: 9781610395700
$19.98 Original price was: $19.98.$12.31Current price is: $12.31.
-38%
Bestsellers
eText ISBN: 9781423209584
$6.65 Original price was: $6.65.$4.10Current price is: $4.10.
-38%
Bestsellers
eText ISBN: 9781423207764
$6.65 Original price was: $6.65.$4.10Current price is: $4.10.
-38%
eText ISBN: 9781466566330
$58.32 Original price was: $58.32.$35.93Current price is: $35.93.
-38%
Bestsellers
eText ISBN: 9780203489802
$58.32 Original price was: $58.32.$35.93Current price is: $35.93.
Reviews
There are no reviews yet.