Search from the table of contents of 2.5 million books
Advanced Search (Beta)
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

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

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


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 4 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation