OPAC

Automatic verification methods for finite state systems : International Workshop, Grenoble, France, June 12-14, 1989, proceedings / J. Sifakis (ed.)
(Lecture notes in computer science ; 407)

データ種別	図書
出版情報	Berlin ; Tokyo : Springer-Verlag , c1990
本文言語	英語
大きさ	vii, 382 p. ; 25 cm

所蔵情報を非表示

配架場所	請求記号	巻　次	ISBN	資料番号	資料状態	利用注記	コメント	予約・取寄	申込書	仮想書架
書庫2階	TK:5105.5:A97:1990			000005438				予約・取寄		仮想書架	予約・取寄		仮想書架

書誌詳細を非表示

著者標目	Sifakis, Joseph, 1946-
件　名	LCSH:Computer network protocols -- Congresses 全ての件名で検索
分　類	LCC:TK5105.5 DC20:004.6/2
巻冊次	: gw ; ISBN:3540521488 pbk : gw ; ISBN:3540521488 : us ; ISBN:0387521488
ISBN	3540521488
NCID	BA0790503X

目次／あらすじ