عنوان
پدید آورنده
موضوع
رده
QA76.9.M35 E358 2012
QA76
.
9
.
M35
E358
2012
کتابخانه
محل استقرار
شابک
شابک
3642353088
شابک
9783642353086
شماره کتابشناسی ملی
شماره
b567691
عنوان و نام پديدآور
عنوان اصلي
Certified Programs and Proofs :
نام عام مواد
[Book]
ساير اطلاعات عنواني
Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
نام نخستين پديدآور
edited by Chris Hawblitzel, Dale Miller.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, Heidelberg
نام ناشر، پخش کننده و غيره
Springer Berlin Heidelberg : Imprint: Springer
تاریخ نشرو بخش و غیره
2012
مشخصات ظاهری
نام خاص و کميت اثر
(X, 305 p. 64 illus.).
فروست
عنوان فروست
Lecture notes in computer science, 7679.
يادداشت کلی
متن يادداشت
Bibliographic Level Mode of Issuance: Monograph.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012. The 18 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in computer science and mathematics in which certification via formal techniques is crucial.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science -- Mathematics -- Congresses.
موضوع مستند نشده
Computer software -- Congresses.
موضوع مستند نشده
Formal methods (Computer science) -- Verification -- Congresses.
رده بندی کنگره
شماره رده
QA76
.
9
.
M35
نشانه اثر
E358
2012
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
edited by Chris Hawblitzel, Dale Miller.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Chris Hawblitzel
مستند نام اشخاص تاييد نشده
CPP 2012
مستند نام اشخاص تاييد نشده
Dale Miller
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
