عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .S88 .T42 1989
QA
76
.
9
.
S88
.
T42
1989
کتابخانه
محل استقرار
91693
آخر۲۷
English
)20(
Temporal logic in specification: Altrincham, UK, April 8-10, 1987: proceedings
Berlin; New York
Springer-Verlag
1989
vi, 448 p.: ill.; 24 cm
Lecture notes in computer science
398
Based on papers presented at the Colloquium on Temporal Logic in Specification
Includes bibliographical references
، System design
، Logic, Symbolic and mathematical
QA
76
.
9
.
S88
.
T42
1989
TI
B. Banieqbal, H. Barringer, A. Pnueli )eds.(
AU (manheB).B ,labqeinaB 1960-
AU drawoH ,regnirraB 1951-
AU A ,ileunP
CO Colloquium on Temporal Logic in Specification )7891: Altrincham, England(
SE
02
