Nantilus
Temporal logic of programs
Saved in:
| Main Author : | |
|---|---|
| Format : | Book |
| Language : | anglais |
| Title statement : | Temporal logic of programs / Fred Kröger |
| Published : |
Berlin, New York [etc.] :
Springer
, cop. 1987 |
| Physical Description : | 1 vol. (VIII-148 p.) |
| Series : | EATCS monographs on theoretical computer science ; 8 |
| Subjects : |
Loading