Cover Image

Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers /

Show other versions (1)
Bibliographic Details
Corporate Authors: TYPES 2004 Jouy-en-Josas, France, SpringerLink (Online service)
Other Authors: Filliâtre, Jean-Christophe, Paulin-Mohring, Christine, 1962-, Werner, Benjamin
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, 2006.
Series:Lecture notes in computer science ; 3839.
Subjects:
Automatic theorem proving > Congresses.
Computer programming > Congresses.
Programmation (Informatique) > Congrès.
Théorèmes > Démonstration automatique > Congrès.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:viii, 273 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3540314296
9783540314295
DOI:10.1007/11617990