عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
364259851X
شابک
9783642598517
شماره کتابشناسی ملی
شماره
b551257
عنوان و نام پديدآور
عنوان اصلي
Algebraic Foundations of Systems Specification
نام عام مواد
[Book]
نام نخستين پديدآور
edited by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, Heidelberg
نام ناشر، پخش کننده و غيره
Springer Berlin Heidelberg
تاریخ نشرو بخش و غیره
1999
مشخصات ظاهری
نام خاص و کميت اثر
(xii, 616 pages 57 illustrations)
فروست
عنوان فروست
IFIP state-of-the-art reports.
یادداشتهای مربوط به مندرجات
متن يادداشت
Preface --;The Role of Formal Specifications --;Algebraic Preliminaries --;From Total Equational to Partial First Order Logic --;Institutions: An Abstract Framework for Formal Specifications --;Specification Semantics --;Structuring and Modularity --;Refinement and Implementation --;Specification Languages --;Term Rewriting --;Proof in Flat Specifications --;Proof Systems for Structured Specifications and Their Refinements --;Object Specification --;Algebraic Specification of Concurrent Systems --;Formalization of the Development Process --;Bibliography --;Index.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This volume covers active topics and advances in system specification including: specification semantics; refinement; specification languages; term rewriting; deduction; model-oriented specification; object-specification; and concurrency. Topics are illuminated with examples.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Logic design.
موضوع مستند نشده
Software engineering.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
edited by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
B Krieg-Brückner
مستند نام اشخاص تاييد نشده
Egidio Astesiano
مستند نام اشخاص تاييد نشده
H -J Kreowski
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
