このページのリンク

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)

データ種別 図書
出版者 Berlin : Springer
出版者 New York
出版年 c1999.
大きさ x, 276 p. : ill. ; 24 cm.
目次/あらすじ

所蔵情報を非表示

V.1680 ASRS 007.6/L507/v.1680 05403495
3540664998

書誌詳細を非表示

一般注記 "The 5th International SPIN Workshop on Theoretical Aspects of Model Checking (5thSPIN'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 (6thSPIN'99) was held as a user group meeting with FM'99 on September 21 and 24, 1999." - preface, p.(v).
Includes bibliographical references and index.
著者標目 Dams, Dennis.
International SPIN Workshop on Theoretical Aspects of Model Checking(1999)
Federated Logic Conference((1999)
International SPIN Workshop on Practical Aspects of Model Checking(1999)
World Congress on Formal Methods in the Development of Computing Systems((1999)
件 名 Automatic theorem proving--Congresses.
Verification (Logic)--Congresses.
分 類 NDC:007.6
書誌ID 1000230149
ISBN 3540664998
NCID BA43719764 WCLINK
URL1 Publisher HP

 類似資料