This page uses JavaScript and requires a JavaScript enabled browser.Your browser is not JavaScript enabled.
مرکز و کتابخانه مطالعات اسلامی به زبان های اروپایی
منو
درگاههای جستجو
مدارک
جستجوی پیشرفته
مرور
جستجو در سایر کتابخانه ها
مستندات
جستجوی پیشرفته
مرور
منابع دیجیتال
تمام متن
اصطلاحنامه
درختواره
پرسش و پاسخ
سوالات متداول
پرسش از کتابدار
پیگیری پرسش
ورود
ثبت نام
راهنما
خطا
رکورد قبلی
رکورد بعدی
"
Unilever and economic power :
"
Slicer, Ian H.
Document Type
:
BL
Record Number
:
753050
Doc. No
:
b573011
Main Entry
:
by Fred Kröger.
Title & Author
:
Temporal Logic of Programs\ by Fred Kröger.
Publication Statement
:
Berlin, Heidelberg : Springer Berlin Heidelberg, 1987
Series Statement
:
EATCS monographs on theoretical computer science, 8.
ISBN
:
3642715494
:
: 3642715516
:
: 9783642715495
:
: 9783642715518
Contents
:
Logic and Programs --; Historical Remarks --; Some Concepts and Notions of Classical Logic --; I. Propositional Temporal Logic --; 1. A Language TTA of Propositional Temporal Logic --; 2. Semantics of TTA --; 3. Temporal Logical Laws --; 4. Some Further Temporal Operators --; II. Axiomatization of Propositional Temporal Logic --; 5. The Formal System?TA --; 6. Completeness of?TA --; 7. Induction Principles --; III. First-Order Temporal Logic --; 8. First-Order Temporal Languages and Their Semantics --; 9. The Formal System?TP --; 10. The Principle of Well-Founded Orderings --; 11. Additional Propositional Variables --; IV. Temporal Semantics of Programs --; 12. Programs --; 13. Execution Sequences of Programs --; 14. Program Axioms --; 15. Description of Program Properties --; V. Invariance and Precedence Properties of Programs --; 16. The Basic Invariant Method --; 17. Examples of Applications --; 18. Invariant Methods for Precedence Properties --; 19. Examples of Applications --; VI. Eventuality Properties of Programs --; 20. Fair Execution Sequences --; 21. The Finite Chain Reasoning Method --; 22. The Method of Well-Founded Orderings --; 23. Examples of Applications --; VII. Special Methods for Sequential Programs --; 24. Hoare's Calculus --; 25. The Intermittent Assertion Method --; 26. Examples of Applications --; Bibliographical Remarks --; Appendix: Table of Laws and Rules --; References.
Abstract
:
Introduction to the temporal logic of - in particular paral- lel - programs. Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of the logical apparatus to the verification of program proper- ties including a new embedding of Hoare's logic into the temporal framework.
Subject
:
Computer science.
Subject
:
Logic design.
LC Classification
:
QA76.9.L63B947 1987
Added Entry
:
Fred Kröger
https://lib.clisel.com/site/catalogue/1096676
کپی لینک
پیشنهاد خرید
پیوستها
عنوان :
نام فایل :
نوع عام محتوا :
نوع ماده :
فرمت :
سایز :
عرض :
طول :
TLets472990_204398.pdf
TLets472990.pdf
پایان نامه لاتین
متن
application/pdf
11.95 MB
85
85
نمایش
نظرسنجی
نظرسنجی منابع دیجیتال
1 - آیا از کیفیت منابع دیجیتال راضی هستید؟
X
کم
متوسط
زیاد
ذخیره
پاک کن