Menu
Home
Advanced Search
Directory of Libraries
About lib.ir
Contact Us
History
عنوان
Types for proofs and programs :
پدید آورنده
Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)
موضوع
Automatic theorem proving, Congresses,Computer programming, Congresses
رده
QA76
.
9
.
A96
T96
2004
کتابخانه
Center and Library of Islamic Studies in European Languages
محل استقرار
استان:
Qom
ـ شهر:
Qom
تماس با کتابخانه :
32910706
-
025
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3540314288 (pbk.)
NATIONAL BIBLIOGRAPHY NUMBER
Number
b423564
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Types for proofs and programs :
General Material Designation
[Book]
Other Title Information
international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers /
First Statement of Responsibility
Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
2006
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
viii, 273 p. :
Other Physical Details
ill. ;
Dimensions
24 cm
SERIES
Series Title
Lecture notes in computer science ;
ISSN of Series
3839
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
PARALLEL TITLE PROPER
Parallel Title
TYPES 2004
TOPICAL NAME USED AS SUBJECT
Automatic theorem proving, Congresses
Computer programming, Congresses
(SUBJECT CATEGORY (Provisional
QA
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
A96
Book number
T96
2004
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Filliâtre, Jean-Christophe
Paulin-Mohring, Christine,1962-
Werner, Benjamin
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
TYPES 2004(2004 :, Jouy-en-Josas, France)
ORIGINATING SOURCE
Date of Transaction
20060313111344.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب
[Book]
Y
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal