福岡大学蔵書検索

Specification and compositional verification of real-time systems / J. Hooman
(Lecture notes in computer science ; 558)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1991
形態	viii, 235 p. ; 25 cm
著者標目	Hooman, Jozef, 1955-
件　名	LCSH:Real-time data processing
分　類	NDC:549.92 DDC:004/.33 LCC:QA76.54
書誌ID	LT00380326

所蔵情報を非表示

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

書誌詳細を非表示

本文言語	英語
一般注記	Rev. version of the author's thesis (Ph. D.)--Eindhoven University of Technology Bibliography: p. [229]-235
NCID	BA13454762
巻冊次	ISBN:3540549471

目次／あらすじ