عنوان
پدید آورنده
موضوع
رده
QA 76 .76 .V47 .M36 1995
QA
76
.
76
.
V47
.
M36
1995
کتابخانه
محل استقرار
121368
تابستان۹۷
English
)91(
Manna, Zohar
Temporal verification of reactive systems: safety
New York
Springer
1995
xviii, 512 p.: ill.; 25 cm
Includes bibliographical references and index
، Computer software-- Verification
، Parallel processing )Electronic computers(
QA
76
.
76
.
V47
.
M36
1995
AU
Zohar Manna, Amir Pnueli
AU A ,ileunP
TI
129
