Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings
書誌情報:Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings
B. Banieqbal, H. Barringer, A. Pnueli (eds.).
Berlin ; New York : Springer-Verlag , c1989.
vi, 448 p. : ill. ; 24 cm.


  


所蔵一覧
巻号予約人数所在請求記号資料ID状態貸出区分備考 
1U.S.: alk. paper0中央５階洋
  • 007.1
  • L 49
  • 398
00514607 利用可
一般 

選択行を：  

書誌詳細
刊年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.
出版国ドイツ
標題言語英語
本文言語英語
著者情報Banieqbal, B. (Behnam), 1960-
Barringer, Howard, 1951-
Pnueli, A.
Colloquium on Temporal Logic in Specification (1987 : Altrincham, England)
分類LCC:QA76.9.S88
DC20:005.13/1
ISBN0387518037(U.S.: alk. paper)
件名LCSH:Systemdesign.
LCSH:Logic,Symbolicandmathematical.
番号LCCN : 89021947

   
▲ページトップへ