福岡大学蔵書検索

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
著者標目	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
分　類	NDC:549.92 DDC:005.13/1 LCC:QA76.9.S88
書誌ID	LT00292761

状　態	巻　次	所　在	請求記号	資料番号	ISBN	刷　年	コメント	利用注記	予約・取寄	お薦めの本	自動書庫	付録注記
		中央自動書庫	549.92/L49-1/398	0108196860101	9783540518037				予約・取寄				予約・取寄

本文言語	英語
一般注記	Based on papers presented at the Colloquium on Temporal Logic in Specification Includes bibliographical references
NCID	BA07517438
巻冊次	ISBN:3540518037

目次／あらすじ