Cover Image

Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers /

Show other versions (1)
Bibliographic Details
Corporate Author: TYPES 2003 Torino, Italy
Other Authors: Berardi, Stefano, Coppo, Mario, Damiani, Ferruccio
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2004]
Series:Lecture notes in computer science ; 3085.
Subjects:
Automatic theorem proving > Congresses.
Computer programming > Congresses.
TYPES
Proofs
Programs
Online Access:http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3085
Description
Physical Description:x, 408 pages : figures ; 24 cm.
Also issued online.
Bibliography:Includes bibliographical references and index.
ISBN:3540221646 (pbk.)
ISSN:0302-9743 ;