で詳細を確認
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. |
目次／あらすじ
所蔵情報を非表示
| 巻 次 | 配架場所 | 自動書庫 | 請求記号 | 登録番号 | 状 態 | コメント | ISBN | 刷 年 | 予約 | 仮想書架 | コース・リザーブ |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 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 
|
| URL1 | Publisher HP |