Unilever and economic power :

مرکز و کتابخانه مطالعات اسلامی به زبان های اروپایی

منو

" Unilever and economic power : "
Slicer, Ian H.

Document Type	:	BL
Record Number	:	753050
Doc. No	:	b573011
Main Entry	:	by Fred Kröger.
Title & Author	:	Temporal Logic of Programs\ by Fred Krö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.L63‬‭B947 1987‬
Added Entry	:	Fred Kröger