عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
1402006071
شابک
140200608X
شابک
9781402006074
شابک
9781402006081
شماره کتابشناسی ملی
شماره
b553251
عنوان و نام پديدآور
عنوان اصلي
Proof and system-reliability
نام عام مواد
[Book]
نام نخستين پديدآور
edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Dordrecht ; Boston
نام ناشر، پخش کننده و غيره
Kluwer Academic Publishers
تاریخ نشرو بخش و غیره
©2002.
مشخصات ظاهری
نام خاص و کميت اثر
xii, 415 pages : illustrations ; 25 cm.
فروست
عنوان فروست
NATO science series., Series II,, Mathematics, physics, and chemistry ;, v. 62.
يادداشت کلی
متن يادداشت
Published in cooperation with NATO Scientific Affairs Division.;"Proceedings of the NATO Advanced Study Institute on Proof and System-Reliability, Marktoberdorf, Germany, 24 July-5 August 2001"--Title page verso.
یادداشتهای مربوط به مندرجات
متن يادداشت
Cartesian Closed Categories of Effective Domains / G. Hamrin and V. Stoltenberg-Hansen --;Algorithmic Game Semantics: A Tutorial Introduction / S. Abramsky --;Algebra of Networks / G. Stefanescu --;Computability and Complexity from a Programming Perspective / N.D. Jones --;Logical Frameworks: A Brief Introduction / F. Pfenning --;Ludics: An Introduction / J.-Y. Girard --;Naive Computational Type Theory / R.L. Constable --;Proof-Carrying Code. Design and Implementation / G. Necula --;Abstractions and Reductions in Model Checking / O. Grumberg --;Hoare Logic: From First-order to Propositional Formalism / J. Tiuryn --;Hoare Logics in Isabelle/HOL / T. Nipkow --;Proof Theoretic Complexity / G.E. Ostrin and S.S. Wainer.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer systems -- Reliability -- Congresses.
موضوع مستند نشده
Computer systems -- Reliability.
موضوع مستند نشده
Proof theory -- Congresses.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Helmut Schwichtenberg
مستند نام اشخاص تاييد نشده
North Atlantic Treaty Organization. Scientific Affairs Division.
مستند نام اشخاص تاييد نشده
Ralf Steinbrüggen
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
