Mendeley出力
＜図書＞
Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
| 責任表示 | Nachum Dershowitz (ed.) |
|---|---|
| シリーズ | Lecture notes in computer science ; 2772 |
| データ種別 | 図書 |
| 出版情報 | Berlin ; Tokyo : Springer , c2003 |
| 本文言語 | 英語 |
| 大きさ | xv, 782 p. : ill. , port. ; 24 cm |
| 概要 | This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of th... logical half of computer science. Also included is a paean to Zohar Manna by the volume editor. The articles presented are devoted to the theory of computing, program semantics, logics of programs, temporal logic, automated deduction, decision procedures, model checking, concurrent systems, reactive systems, hardware and software verification, testing, software engineering, requirements specification, and program synthesis. 続きを見る |
| 電子版へのリンク | https://hdl.handle.net/2324/7006505 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図 自動書庫 | 408/L 49 | 2003 |
|
061212004000911 |
|
書誌詳細
| 一般注記 | Includes bibliographical references and index Includes photo of Zohar Manna (b.1939) "The symposium was held in Taormina, Sicily, Italy between June 29 and July 4, 2003." - pref. |
|---|---|
| 著者標目 | Dershowitz, Nachum, 1951- Manna, Zohar |
| 件 名 | LCSH:Computer software -- Verification 全ての件名で検索 |
| 分 類 | LCC:QA76.76.V47 DC22:005.1/4 |
| 書誌ID | 1001127036 |
| ISBN | 3540210024 |
| NCID | BA66316020 |
| 巻冊次 | ISBN:3540210024 |
| 登録日 | 2009.09.17 |
| 更新日 | 2017.02.18 |