|
" Types for proofs and programs : "
Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
594345
|
| Doc. No
|
:
|
b423564
|
| Main Entry
|
:
|
TYPES 2004(2004 :, Jouy-en-Josas, France)
|
| Title & Author
|
:
|
Types for proofs and programs : : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers /\ Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)
|
| Publication Statement
|
:
|
Berlin ;New York :: Springer,, 2006
|
| Series Statement
|
:
|
Lecture notes in computer science ;
|
| Page. NO
|
:
|
viii, 273 p. :: ill. ;; 24 cm
|
| ISBN
|
:
|
3540314288 (pbk.)
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
| Subject
|
:
|
Automatic theorem proving, Congresses
|
| Subject
|
:
|
Computer programming, Congresses
|
| LC Classification
|
:
|
QA76.9.A96T96 2004
|
| Added Entry
|
:
|
Filliâtre, Jean-Christophe
|
|
|
:
|
Paulin-Mohring, Christine,1962-
|
|
|
:
|
Werner, Benjamin
|
| Parallel Title
|
:
|
TYPES 2004
|
| |