Coverart for item
The Resource 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.), (electronic resource)

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.), (electronic resource)

Label
Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers
Title
Types for proofs and programs
Title remainder
international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers
Statement of responsibility
Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)
Title variation
TYPES 2004
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Illustrations
illustrations
Index
index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
Lecture notes in computer science
Series volume
3839
Label
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.), (electronic resource)
Link
http://dx.doi.org/10.1007/11617990
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
ocn262692632
Dimensions
unknown
Extent
1 online resource (viii, 273 p.)
Form of item
online
Isbn
9783540314295
Other physical details
ill.
Specific material designation
remote
Stock number
978-3-540-31428-8
System control number
(OCoLC)262692632
Label
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.), (electronic resource)
Link
http://dx.doi.org/10.1007/11617990
Publication
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
ocn262692632
Dimensions
unknown
Extent
1 online resource (viii, 273 p.)
Form of item
online
Isbn
9783540314295
Other physical details
ill.
Specific material designation
remote
Stock number
978-3-540-31428-8
System control number
(OCoLC)262692632

Library Locations

    • ERDC - Hanover (US Army Engineer Research and Development Center) Borrow it
      72 Lyme Road, Hanover, NH, 03755-1290, US
      43.7279642 -72.2684934
Processing Feedback ...