書誌事項

Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings

B. Banieqbal, H. Barringer, A. Pnueli (eds.)

(Lecture notes in computer science, 398)

Springer-Verlag, c1989

  • : gw
  • : us

この図書・雑誌をさがす
注記

Based on papers presented at the Colloquium on Temporal Logic in Specification

Includes bibliographical references

関連文献: 1件中  1-1を表示
詳細情報
ページトップへ