---

Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings / David L. Dill (ed.)
(Lecture notes in computer science ; 818)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1994
形態	ix, 480 p. : ill. ; 24 cm
著者標目	CAV (Conference) (6th : 1994 : Stanford, California, USA) Dill, David L.
件　名	LCSH:Computer software -- Verification -- Congresses  全ての件名で検索 LCSH:Electronic digital computers -- Evaluation -- Congresses  全ての件名で検索
分　類	NDC:549.92 DDC:511.3/0285 LCC:QA76.76.E93
書誌ID	LT00461175

 類似資料