عنوان
پدید آورنده
موضوع
رده
QA76.9.A96 N38 2003eb
QA76
.
9
.
A96
N38
2003eb
کتابخانه
محل استقرار
شابک
شابک
1423797558
شابک
1601294840
شابک
1607501805
شابک
9781423797555
شابک
9781601294845
شابک
9781607501800
شابک اشتباه
1586036254
شابک اشتباه
9781586036256
شماره کتابشناسی ملی
شماره
b762929
عنوان و نام پديدآور
عنوان اصلي
Proof technology and computation /
نام عام مواد
[Book]
نام نخستين پديدآور
edited by Helmut Schwichtenberg and Katharina Spies.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Washington, DC :
نام ناشر، پخش کننده و غيره
IOS Press,
تاریخ نشرو بخش و غیره
©2006.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource
فروست
عنوان فروست
NATO science series. Series III, Computer and systems sciences,
مشخصه جلد
v. 200
شاپا ي ISSN فروست
1387-6694 ;
يادداشت کلی
متن يادداشت
"Proceedings of the NATO Advanced Study Institute on Proof Technology and Computation, Marktoberdorf, Germany, 29 July-10 August 2003"--Title page verso.
متن يادداشت
"Published in cooperation with NATO Public Diplomacy Division."
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index.
یادداشتهای مربوط به مندرجات
متن يادداشت
Title page; Preface; Contents; Information-Intensive Proof Technology; Introduction to Proof Theory; The Abstraction-Refinement Framework in Model Checking; Verification: Industrial Applications; Selected Topics on Computability, Complexity, and Termination; Jinja: Towards a Comprehensive Formal Semantics for a Java-like Language; The Formulae-as-Classes Interpretation of Constructive Set Theory; Constructive Analysis with Witnesses; Predicates as Types; Automata- and Logic-Based Systems Design; Recursions and Proofs; Author Index.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Software engineers have integrated proof processing into industrial development tools, and these implementations are now getting very efficient. The chapters deal with: The benefits and technical challenges of sharing formal mathematics among interactive theorem provers; proof normalization for various axiomatic theories; abstraction-refinement framework of temporal logic model checking; formal verification in industrial hardware design; readable machine-checked proofs and semantics and more.
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
IOS Press
شماره انبار
978-1-58603-625-6
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Proof technology and computation.
شماره استاندارد بين المللي کتاب و موسيقي
9781586036256
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Automatic theorem proving, Congresses.
موضوع مستند نشده
Computer programming, Congresses.
موضوع مستند نشده
Computer software-- Development, Congresses.
موضوع مستند نشده
Automatic theorem proving.
موضوع مستند نشده
Computer programming.
موضوع مستند نشده
Computer software-- Development.
موضوع مستند نشده
COMPUTERS-- Expert Systems.
مقوله موضوعی
موضوع مستند نشده
COM-- 025000
رده بندی ديویی
شماره
006
.
3/33
ويراست
22
رده بندی کنگره
شماره رده
QA76
.
9
.
A96
نشانه اثر
N38
2003eb
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Schwichtenberg, Helmut,1942-
مستند نام اشخاص تاييد نشده
Spies, Katharina.
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
NATO Advanced Study Institute on Proof Technology and Computation(2003 :, Marktoberdorf, Germany)
مبدا اصلی
تاريخ عمليات
20201204222852.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
