Mendeley出力
＜図書＞
FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings
| 責任表示 | John Fitzgerald, Cliff B. Jones, Peter Lucas, (eds.) |
|---|---|
| シリーズ | Lecture notes in computer science ; 1313 |
| データ種別 | 図書 |
| 出版情報 | Berlin ; New York : Springer , c1997 |
| 本文言語 | 英語 |
| 大きさ | xiii, 684 p. : ill. ; 24 cm |
| 概要 | This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods, ...eld in Graz, Austria, in September 1997. The 35 revised full papers presented in the volume were selected from a total of 94 submissions. Formal methods and mathematically based techniques are increasingly recognized as a viable technology for the development and engineering of computing systems. The majority of the papers in this volume describe industrial applications, extensions to existing techniques, or case studies; papers on theoretical aspects show clear potential applicability. 続きを見る |
| 電子版へのリンク | https://hdl.handle.net/2324/7005187 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
: pbk | 理系図 自動書庫 | 408/L 49 | 1997 |
|
061232004017388 |
|
書誌詳細
| 別書名 | 異なりアクセスタイトル:Industrial applications and strengthened foundations of formal methods |
|---|---|
| 一般注記 | Includes bibliographical references and index |
| 著者標目 | *International Symposium of Formal Methods Europe (4th : 1997 : Graz, Austria) Fitzgerald, John, 1965- Jones, Cliff B., 1944- Lucas, Peter, 1955- |
| 件 名 | LCSH:System design -- Methodology -- Congresses
全ての件名で検索
LCSH:Computer software -- Development -- Congresses 全ての件名で検索 |
| 分 類 | LCC:QA76.9.S88 LCC:QA76.76.D47 DC21:005.1/01/5113 |
| 書誌ID | 1001016022 |
| ISBN | 3540635335 |
| NCID | BA32267015 |
| 巻冊次 | : pbk ; ISBN:3540635335 |
| 登録日 | 2009.09.16 |
| 更新日 | 2017.02.18 |