عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.398
QA
76
.
L28
Vol
.
398
کتابخانه
محل استقرار
Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : Proceedings
1987: Altrincham, England
Berlin
Springer-Verlag
c1989
vi, 448p.: ill
Lecture notes in computer science; 893
Based on papers presented at the Colloquium on Temporal Logic in Specification
Includes bibliographies
ISBN: 3540518037
B. Banieqbal, H. Barringer, A. Pnueli )eds.(
1
2
، System design
، Logic, Symbolic and mathematical
QA
76
.
L28
Vol
.
398
AU
AU Banieqbal, Behnam, 1960-
AU Barringer, Howard, 1951-
AU Pnueli, A.
TI
SE
Colloquium on Temporal Logic in Specification
