-
RecordNumber
45079
-
Title
Temporal logic in sopecification
-
Author Statement
B. Banieqbal , H. Barringer , A. Pnueli (eds)
-
Publication
Springer
-
Publication Year
[c1989]
-
Collation
vi, 448p.: diagr, tables
-
Series
Lecture notes in computer Science; 398
-
Notes
Proceedings of...Altrimchani, 1987
-
Bibliography
Includes bibliographies
-
Subject
Logic, Symbolic and mathematical
-
ADDED ENTRIES
Banieqbal, B. ed , ^dSeries: Lecture notes in computer science; 398
-
Main Class
005
-
Sub Class
.131
-
Cutter no
B217t
-
وارد كنندة اطلاعات
^d//
-
Link To Document :
