OPAC

検索結果一覧に戻る

Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.)
(Lecture notes in computer science ; 398)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1989
本文言語	英語
大きさ	vi, 448 p. : ill. ; 25 cm

所蔵情報を非表示

配架場所	請求記号	巻　次	ISBN	資料番号	資料状態	利用注記	コメント	予約・取寄	申込書	仮想書架
書庫2階	QA:76.9:S88:T42:1989			890292235				予約・取寄		仮想書架	予約・取寄		仮想書架

書誌詳細を非表示

一般注記	Based on papers presented at the Colloquium on Temporal Logic in Specification Includes bibliographical references
著者標目	Banieqbal, Behnam Barringer, Howard, 1951- Pnueli, A. (Amir) Colloquium on Temporal Logic in Specification (1987 : Altrincham, England)
件　名	LCSH:System design LCSH:Logic, Symbolic and mathematical
分　類	LCC:QA76.9.S88 DC20:005.13/1
巻冊次	: gw ; ISBN:3540518037 : us ; ISBN:0387518037
ISBN	3540518037
NCID	BA07517438

目次／あらすじ