عنوان
پدید آورنده
موضوع
رده
QA 76 .6 .M3564 1991
QA
76
.
6
.
M3564
1991
کتابخانه
محل استقرار
139993
زمستان۴۸
English
)20(
Manna, Zohar
The temporal logic of reactive and concurrent systems
New York
Springer-Verlag
1992-
v.: ill.; 25 cm
Includes bibliographical references and index
]v.1.[ Specification
، Computer programming
، Logic, Symbolic and mathematical
QA
76
.
6
.
M3564
1991
AU
Zohar Manna, Amir Pnueli
AU .A ,ileunP
TI
02
