---

Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings / K.G. Larsen, A. Skou (eds.)
(Lecture notes in computer science ; 575)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1992
形態	x, 487 p. : ill. ; 25 cm
著者標目	CAV (Conference) (3rd : 1991 : Aalborg, Denmark) Larsen, K. G. (Kim G.), 1957- Skou, A. (Arne), 1948-
件　名	LCSH:Computer software -- Verification -- Congresses  全ての件名で検索 LCSH:Electronic digital computers -- Evaluation -- Congresses  全ての件名で検索
分　類	NDC:549.92 DDC:511.3/0285 LCC:QA76.76.E93
書誌ID	LT00393058

 類似資料