Books+ Search Results
Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
Author
Title
Types for Proofs and Programs [electronic resource] : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Stefano Berardi, Ferruccio Damiani, Ugo de’Liguoro.
ISBN
9783642024443
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Local Notes
Access is available to the Yale community.
Access and use
Access restricted by licensing agreement.
Variant and related titles
Springer eBooks.
Format
Books / Online
Language
English
Added to Catalog
August 11, 2009
Series
Lecture Notes in Computer Science, 5497
Also listed under
SpringerLink (Online service)
Bookmark As
Citation
