عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.129
QA
76
.
L28
Vol
.
129
کتابخانه
محل استقرار
Verifying concurrent processes using temporal logic
Berlin
Springer-Verlag
1982
viii, 208p.: ill
Lecture notes in computer science; 921
Bibliography: p.]203[-208
ISBN: 3540112057
Brent T. Hailpern
1
، Parallel processing )Electronic computers(
، Computer programs -- Verification
QA
76
.
L28
Vol
.
129
Hailpern, Brent Tzion, 5591-
AU
TI
SE
