✦ LIBER ✦
Temporal logic of programs: By Fred Kroger. EATCS Monographs on Theoretical Computer Science, Springer, Berlin, 1987, viii+148 pages, Price DM 68.00, (hard cover). ISBN 3-540-17030-8
✍ Scribed by Michael Fisher
- Publisher
- Elsevier Science
- Year
- 1988
- Tongue
- English
- Weight
- 167 KB
- Volume
- 10
- Category
- Article
- ISSN
- 0167-6423
No coin nor oath required. For personal study only.