عنوان
پدید آورنده
موضوع
رده
QA 76 .L4 v.129
QA
76
.
L4
v
.
129
کتابخانه
محل استقرار
English
Verifying concurrent processes using temporal logic
Berlin, New York
Springer-Verlag
1982
viii, 208 p. : ill. ; 25 cm
Lecture notes in computer science, 921
Bibliography: p. 203-208
Bibliography: p. )203(-208
Includes index
Brent T. Hailpern
1
، Parallel processing )Electronic computers(
، Computer programs - Verification
QA
76
.
L4
v
.
129
CA
001
.
64/2
5591-
Hailpern, Brent Tzion
AU
TI
SE
