OPAC

検索結果一覧に戻る

Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 / M. Joseph, ed
(Lecture notes in computer science. ; 331)

データ種別	図書
出版者	Berlin ; New York : Springer-Verlag
出版年	c1988
大きさ	vi, 229 p. : ill. ; 25 cm. --

所蔵情報を非表示

配架場所	請求記号	巻　次	ISBN	資料番号	資料状態	利用注記	コメント	予約・取寄	申込書	仮想書架
書庫2階	QA:76.54:F66:1988		0387503021	890049389				予約・取寄		仮想書架	予約・取寄		仮想書架

書誌詳細を非表示

一般注記	Papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick Includes bibliographies
著者標目	Joseph, M. Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (1988 : Warwick, England)
件　名	LCSH:Real-time data processing -- Congresses 全ての件名で検索 LCSH:Fault-tolerant computing -- Congresses 全ての件名で検索
分　類	LCC:QA76.54 DC19:004/.33
巻冊次	ISBN:0387503021
ISBN	0387503021

目次／あらすじ