Mendeley出力
＜図書＞
ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings
| 責任表示 | Helen Treharne ... [et al.] (eds.) |
|---|---|
| シリーズ | Lecture notes in computer science ; 3455 |
| データ種別 | 図書 |
| 出版情報 | Berlin ; Tokyo : Springer , c2005 |
| 本文言語 | 英語 |
| 大きさ | xv, 491 p. : ill. ; 24 cm |
| 概要 | This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, UK in April 2005. The 25 revised full papers presented together with e...tended abstractsof 2 invited papers were carefully reviewed and selected for inclusion in the book. The papers document the recent advances for the Z formal specification notation and for the B method, ranging from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies. 続きを見る |
| 電子版へのリンク | https://hdl.handle.net/2324/6948481 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図 自動書庫 | 408/L 49 | 2005 |
|
061212005001026 |
|
書誌詳細
| 一般注記 | Includes bibliographical references and index |
|---|---|
| 著者標目 | *International Conference of B and Z Users (4th : 2005 : Guildford, UK) Treharne, Helen King, Steve Henson, Martin C. Schneider, Steve |
| 件 名 | LCSH:B (Computer program language) -- Congresses
全ての件名で検索
LCSH:Z (Computer program language) -- Congresses 全ての件名で検索 |
| 分 類 | LCC:QA76.73.B155 |
| 書誌ID | 1001278495 |
| ISBN | 3540255591 |
| NCID | BA71835581 |
| 巻冊次 | ISBN:3540255591 ; XISBN:9783540255598 |
| 登録日 | 2009.09.18 |
| 更新日 | 2017.02.18 |