Temporal Logic Of Programs
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 1987 |
| Authors | Fred Kröger |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1997090 |
About Temporal Logic Of Programs
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 . . .