Types for proofs and programs [electronic resource] : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers / edited by Stefano Berardi, Ferruccio Damiani, Ugo de'Liguoro.

By:

Contributor(s):

Series: Lecture notes in computer science ; 5497Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.Description: viii, 322 p. : ill., digital ; 24 cmISBN:

Subject(s):

DDC classification:

LOC classification:

Online resources:

In: Springer eBooks

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

No physical items for this record

There are no comments on this title.

to post a comment.