このページのリンク

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

所蔵情報を非表示

書庫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 REFWLINK
pbk : gw ; ISBN:3540521488 REFWLINK
: us ; ISBN:0387521488 REFWLINK
ISBN 3540521488
NCID BA0790503X WCLINK
目次/あらすじ

 類似資料