Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings / Radhia Cousot (ed.)
(Lecture notes in computer science ISSN:0302-9743 ; 3385)
| データ種別 | 電子書籍 |
|---|---|
| 出版者 | Berlin ; New York : Springer |
| 出版年 | c2005 |
書誌詳細を非表示
| 書誌ID | OB00834494 |
|---|---|
| 本文言語 | 英語 |
| 別書名 | 異なりアクセスタイトル:VMCAI 2005 |
| 一般注記 | Includes bibliographical references and index License restrictions may limit access |
| 著者標目 | *VMCAI 2005 (2005 Paris, France) Cousot, Radhia |
| 件 名 | LCSH:Computer programs -- Verification -- Congresses
全ての件名で検索
CSHF:Logiciels -- Vérification -- Congrès 全ての件名で検索 |
| 分 類 | LCC:QA76.76.V47 DC22:005.1/4 |
| 巻冊次 | pbk. ; ISBN:354024297X RefWorks出力（各巻） pbk. ; ISBN:9783540242970 RefWorks出力（各巻） |
| 資料種別 | 機械可読データファイル |
目次・あらすじ
類似資料
この資料の利用統計
このページへのアクセス回数：1回
※2020年8月16日以降