OPAC

Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings / Dennis Dams ... [et al.], (eds.)
(Lecture notes in computer science ; 1680)

配架場所	請求記号	巻　次	ISBN	資料番号	資料状態	利用注記	コメント	予約・取寄	申込書	仮想書架
書庫2階	QA:76.76:V47:S68:1999		3540664998	002873253				予約・取寄		仮想書架	予約・取寄		仮想書架

一般注記	Includes bibliographical references and index "The 5th International SPIN Workshop on Theoretical Aspects of Model Checking (5th SPIN'99) was held on July 5, 1999 as a satellite workshop of FLoC'99, while the 6th International SPIN Workshop on Practical Aspects of Model Checking (6th SPIN'99) was held as a user group meeting within FM'99 on September 21 and 24, 1999" - Preface, p. [v]
著者標目	*SPIN (5th : 1999 : Trento, Italy) Federated Logic Conference (1999 : Trento, Italy) SPIN (6th : 1999 : Toulouse, France) World Congress on Formal Methods in the Development of Computing Systems (1999 : Toulouse, France) Dams, Dennis
件　名	LCSH:Computer software -- Verification -- Congresses 全ての件名で検索 LCSH:SPIN (Computer file) -- Congresses 全ての件名で検索 BLSH:SPIN (...Computer file...) LCSH:Automatic theorem proving LCSH:Verification (Logic)
分　類	LCC:QA76.76.V47 DC21:005.14
巻冊次	ISBN:3540664998
ISBN	3540664998
NCID	BA43719764

目次／あらすじ