Stefano Berardi
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers - Theoretical Computer Science and General Issues Stefano Berardi 2009 edition

Name: Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers - Theoretical Computer Science and General Issues
Price: 6929 ISK
Availability: OutOfStock
Author: Stefano Berardi

Price

Íkr 6,929

excl. VAT

Ordered from remote warehouse

Expected delivery Jul 14 - 22

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

Not rated yet

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers - Theoretical Computer Science and General Issues

Stefano Berardi

2009 edition

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.

331 pages, Illustrations

Media	Books Paperback Book (Book with soft cover and glued back)
Released	June 19, 2009
ISBN13	9783642024436
Publishers	Springer-Verlag Berlin and Heidelberg Gm
Genre	Aspects (Academic) > Science / Technology Aspects
Pages	323
Dimensions	155 × 235 × 20 mm · 498 g
Language	French
Editor	Berardi, Stefano
Editor	Damiani, Ferruccio
Editor	De Liguoro, Ugo