The Imperative future : principles of executable temporal logic /
שמור ב:
| מחברים אחרים: | |
|---|---|
| פורמט: | ספר |
| שפה: | English |
| יצא לאור: |
Taunton :
Research Studies Press,
c1996.
|
| סדרה: | Advanced software development series ;
4 |
| נושאים: |
תוכן הענינים:
- 1. An Introduction to Temporal Logic
- 2. The Declarative Past and Imperative Future
- 3. MetateM: A Framework for Programming in Temporal Logic
- 4. Transformation of MetateM Programs
- 5. Interpretation of MetateM Programs
- 6. Scheduling MetateM Programs
- 7. Synthesis of Specifications Expressed in Propositional Temporal Logic.