عنوان
پدید آورنده
موضوع
رده
QA76.76.V47 E358 2012
QA76
.
76
.
V47
E358
2012
کتابخانه
محل استقرار
شابک
شابک
3642357466
شابک
9783642357466
شماره کتابشناسی ملی
شماره
b567725
عنوان و نام پديدآور
عنوان اصلي
Tools for Practical Software Verification :
نام عام مواد
[Book]
ساير اطلاعات عنواني
LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures
نام نخستين پديدآور
edited by Bertrand Meyer, Martin Nordio.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, Heidelberg
نام ناشر، پخش کننده و غيره
Springer Berlin Heidelberg : Imprint : Springer
تاریخ نشرو بخش و غیره
2012
مشخصات ظاهری
نام خاص و کميت اثر
(VIII, 183 p. 31 illustrations)
فروست
عنوان فروست
Lecture Notes in Computer Science, 7682.
یادداشتهای مربوط به مندرجات
متن يادداشت
Model Checking and the State Explosion Problem --; From Program to Logic: An Introduction --; Introduction to the Coq Proof-Assistant for Practical Software Verification --; Advanced Theorem Proving Techniques in PVS and Applications --; Automatic Verification of Advanced Object-Oriented Features: --; The AutoProof Approach --; Using Dafny, an Automatic Program Verifier.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Logic design.
موضوع مستند نشده
Software engineering.
رده بندی کنگره
شماره رده
QA76
.
76
.
V47
نشانه اثر
E358
2012
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
edited by Bertrand Meyer, Martin Nordio.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Bertrand Meyer
مستند نام اشخاص تاييد نشده
Martin Nordio
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
