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 (editors).
By: TYPES 2004 (2004 : Jouy-en-Josas, France)
Contributor(s): Filliâtre, Jean-Christophe [editor.] | Paulin-Mohring, Christine [editor.] | Werner, Benjamin [editor.]
Series: Lecture notes in computer science, 3839Publisher: New York : Springer, 2006Description: viii, 273 pages : illustrations ; 24 cmContent type: text Media type: unmediated Carrier type: volumeISBN: 3540314288 (pbk.); 9783540314288Other title: TYPES 2004Subject(s): Automatic theorem proving -- Congresses | Computer programming -- CongressesDDC classification: 005.131 LOC classification: MLCM 2006/41490 (Q)| Item type | Current location | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
BOOK
|
COLLEGE LIBRARY | COLLEGE LIBRARY SUBJECT REFERENCE | 005.131 T98 2006 (Browse shelf) | Available | CITU-CL-36480 |
Total holds: 0
Browsing COLLEGE LIBRARY Shelves , Shelving location: SUBJECT REFERENCE Close shelf browser
|
No cover image available |
|
|
|
|
|
||
| 005.131 P192 2012 An introduction to automata theory and formal languages | 005.131 R3905 2023 Logic and language models for computer science / | 005.131 Sh16 2009 A second course in formal languages and automata theory / | 005.131 T98 2006 Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers / | 005.133 An22 1995 Essential C : an introduction for scientists and engineers / | 005.133 Ar24 2001 Inside C# / | 005.133 Ar66 2004 Introduction to programming using Java : an object-oriented approach / |
Includes bibliographical references and index.
There are no comments for this item.