عنوان
پدید آورنده
موضوع
رده
QA76.9.M35 C37 2011eb
QA76
.
9
.
M35
C37
2011eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642253792
(Number (ISBN
9783642253799
Erroneous ISBN
9783642253782
NATIONAL BIBLIOGRAPHY NUMBER
Number
b434340
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Certified programs and proofs :
General Material Designation
[Book]
Other Title Information
first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings /
First Statement of Responsibility
Jean-Pierre Jouannaud, Zhong Shao (editions.)
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xv, 399 pages)
SERIES
Series Title
Lecture notes in computer science,
Series Title
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Volume Designation
7086
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and author index
SUMMARY OR ABSTRACT
Text of Note
Annotation This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011. The 24 revised regular papers presented together with 4 invited talks were carefully reviewed and selected from 49 submissions. They are organized in topical sections on logic and types, certificates, formalization, proof assistants, teaching, programming languages, hardware certification, miscellaneous, and proof perls
OTHER EDITION IN ANOTHER MEDIUM
International Standard Book Number
9783642253782
TOPICAL NAME USED AS SUBJECT
Computer science-- Mathematics, Congresses
DEWEY DECIMAL CLASSIFICATION
Number
004
.
01/51
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
M35
Book number
C37
2011eb
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Jouannaud, Jean-Pierre
Shao, Zhong,1968-
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
CPP (Conference)(1st :2011 :, Kʻen-ting, Taiwan)
ORIGINATING SOURCE
Date of Transaction
20170726082130.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
