Home > Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
Book Informaton
Author
Stefano Berardi; Ferruccio Damiani; Ugo de Liguoro
Series
Lecture Notes in Computer Science
Volume
5497
Year of Publication
2009
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin, Heidelberg
Pages
VIII, 323
Language
en
ISBN
9783642024436, 9783642024443
ARI Id
1664724204719
This page has been accessed 4 times.
Access Options
Citation Options
Download CitationChapters/Headings | Author(s) | Pages | Info |
Loading... | |||
Chapters/Headings | Author(s) | Pages | Info |