عنوان
پدید آورنده
موضوع
رده
QA76.9.M35 C37 2011eb
QA76
.
9
.
M35
C37
2011eb
کتابخانه
محل استقرار
3642253792
9783642253799
9783642253782
b434340
Certified programs and proofs :
[Book]
first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings /
Jean-Pierre Jouannaud, Zhong Shao (editions.)
1 online resource (xv, 399 pages)
Lecture notes in computer science,
LNCS sublibrary. SL 1, Theoretical computer science and general issues
7086
0302-9743 ;
Includes bibliographical references and author index
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
9783642253782
Computer science-- Mathematics, Congresses
004
.
01/51
23
QA76
.
9
.
M35
C37
2011eb
Jouannaud, Jean-Pierre
Shao, Zhong,1968-
CPP (Conference)(1st :2011 :, Kʻen-ting, Taiwan)
20170726082130.0
pn
مطالعه متن کتاب [Book]
Y
