عنوان
پدید آورنده
موضوع
رده
QA 76 .76 .V47 .S34 2003
QA
76
.
76
.
V47
.
S34
2003
کتابخانه
محل استقرار
136833
137085
140885
بهار۳۸
English
)91-20(
Schneider, Klaus
1967-
Verification of reactive systems: formal methods and algorithms
Berlin
Springer-Verlag
2004
xiv, 600 p.: ill.; 24 cm
Texts in theoretical computer science
Includes bibliographical references and index
، Computer systems-- Verification
، Formal methods )Computer science(
، Computer algorithms
QA
76
.
76
.
V47
.
S34
2003
AU
Klaus Schneider
TI
SE
129
129
02
