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