---

Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings / Dragan Bošnački, Stefan Leue (ed.)
(Lecture notes in computer science ; 2318)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c2002
形態	x, 257 p. : ill. ; 24 cm
別書名	表紙タイトル:Model checking software : 9th International SPIN Workshop, Grenoble, France, April 2002 : proceedings
著者標目	*SPIN (9th : 2002 : Grenoble, France) Bošnački, Dragan Leue, Stefan
件　名	LCSH:Computer software -- Verification -- Congresses  全ての件名で検索 LCSH:SPIN (Computer file) -- Congresses  全ての件名で検索
分　類	NDC:549.92
書誌ID	LT00641208

 類似資料