Types for proofs and programs [electronic resource] : international conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papers / Stefano Berardi, Ferruccio Damiani, Ugo de' Liguoro (eds.).

Bibliographic Details
Uniform Title:	Lecture notes in computer science ; 5497. LNCS sublibrary. Theoretical computer science and general issues. SL 1
Corporate Author:	TYPES 2008 Torino, Italy
Other Authors:	Berardi, Stefano Damiani, Ferruccio De'Liguoro, Ugo
Language:	English
Published:	Berlin ; New York : Springer, 2009.
Series:	Lecture notes in computer science ; 5497. LNCS sublibrary. Theoretical computer science and general issues.
Subjects:	Automatic theorem proving > Congresses. Computer programming > Congresses.
Genre:	Congresses.
Online Access:	Springer English/International eBooks 2009 - Full Set: 2009 (Springer Link)
Variant Title:	TYPES 2008
Format:	Electronic Conference Proceeding eBook

System Under Maintenance

Our Library Management System is currently under maintenance.

Holdings and item availability information is currently unavailable. Please accept our apologies for any inconvenience this may cause and contact us for further assistance:

Please contact Reference and Discovery Services via their Contact Form or call them directly at: 517-353-8700 for assistance.

Online Access

Springer English/International eBooks 2009 - Full Set: 2009 (Springer Link)