عنوان
پدید آورنده
موضوع
رده
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
شاپا ي ISSN فروست
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
