عنوان
پدید آورنده
موضوع
رده
QA 76 .6 .K753 1987
QA
76
.
6
.
K753
1987
کتابخانه
محل استقرار
88273
آخر۲۷
English
)91(
Kroger, Fred
1945-
Temporal logic of programs
Berlin, New York
Springer-Verlag
1987
viii, 148 p. ; 25 cm
EATCS monographs on theoretical computer science, v. 8
Bibliography: p. 143-146
Includes index
، Electronic digital computers-- Programming
، Logic, Symbolic and mathematical
QA
76
.
6
.
K753
1987
AU
Fred Kroger
TI
SE
129
