Temporal logic for real-time systems

＜図書＞
Temporal logic for real-time systems

責任表示	Jonathan S. Ostroff
シリーズ	Advanced software development series ; 1
データ種別	図書
出版者	Taunton, England : Research Studies Press
出版者	New York : Wiley
出版年	c1989
本文言語	英語
大きさ	xiii, 209 p. ; 24 cm

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		【故障中】理系図自動書庫	D3/Os/1989	1989		061232004043395		予約・取寄		出庫可能	予約・取寄		出庫可能
		【故障中】理系図自動書庫	007.63/O 78	1989		068252189010197		予約・取寄		出庫可能	予約・取寄		出庫可能

一般注記	Bibliography: p. 147-154 Includes index
著者標目	*Ostroff, Jonathan S., 1954-
件　名	LCSH:Real-time data processing LCSH:Process control LCSH:Discrete-time systems
分　類	LCC:QA76.54 DC20:004/.33
書誌ID	1001086968
ISBN	0863800866
NCID	BA08000642
巻冊次	ISBN:0863800866 : Wiley ; ISBN:0471924024 ; XISBN:0083800866
登録日	2009.09.17
更新日	2009.09.17