1 option
Temporal logic of programs / Fred Kröger.
LIBRA QA76.6 .K753 1987
Available from offsite location
- Format:
- Book
- Author/Creator:
- Kröger, Fred, 1945-
- Series:
- EATCS monographs on theoretical computer science ; v. 8.
- EATCS monographs on theoretical computer science ; v. 8
- Language:
- English
- Subjects (All):
- Computer programming.
- Logic, Symbolic and mathematical.
- Physical Description:
- viii, 148 pages ; 25 cm.
- Place of Publication:
- Berlin ; New York : Springer-Verlag, [1987]
- Notes:
- Includes index.
- Bibliography: pages 143-146.
- ISBN:
- 0387170308
- OCLC:
- 14965599
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.