عنوان
پدید آورنده
موضوع
رده
QA 76 .6 .H295 1982
QA
76
.
6
.
H295
1982
کتابخانه
محل استقرار
77284
آخر۲۷
English
)91(
Hailpern, Brent Tzion
1955-
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
Includes index
، Parallel processing )Electronic computers(
، Computer programs-- Verification
QA
76
.
6
.
H295
1982
AU
Brent T. Hailpern
TI
SE
129
