Mendeley出力
＜図書＞
Formal program development : IFIP TC 2/WG 2.1 state of the art report
| 責任表示 | Bernhard Möller, Helmut Partsch, Steve Schuman (eds.) |
|---|---|
| シリーズ | Lecture notes in computer science ; 755 |
| データ種別 | 図書 |
| 出版情報 | Berlin ; Tokyo : Springer-Verlag , c1993 |
| 本文言語 | 英語 |
| 大きさ | 371 p. : ill. ; 24 cm |
| 概要 | This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Development, heldin early 1992 near Rio de Janeiro, Brazil.The book stems from work done by IFIP Workin... Group 2.1 onAlgorithmic Languages and Calculi. Since 1975, the WorkingGroup has increasingly focused on systematic approaches toprogramming and on appropriate concepts and notations tosupport such approaches. Today, the calculation of programsfrom specifications constitutes the central theme ofthegroup's work. Thus the core interests of the group are: - formal specification of solutions to problems, and- formal development/calculationof programs from suchspecifications. 続きを見る |
| 電子版へのリンク | https://hdl.handle.net/2324/7018045 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
: gw | 理系図 自動書庫 | 408/L 49 | 1993 |
|
061232004011803 |
|
書誌詳細
| 一般注記 | Includes bibliographical references |
|---|---|
| 著者標目 | Möller, Bernhard, 1953- Partsch, Helmut A., 1950- Schuman, Steve, 1950- IFIP TC 2/WG 2.1 |
| 件 名 | LCSH:Computer software -- Development
全ての件名で検索
LCSH:Electronic digital computers -- Programming 全ての件名で検索 |
| 分 類 | LCC:QA76.76.D47 DC20:005.1 |
| 書誌ID | 1001009273 |
| ISBN | 3540574999 |
| NCID | BA2150366X |
| 巻冊次 | : gw ; ISBN:3540574999 : us ; ISBN:0387574999 |
| 登録日 | 2009.09.16 |
| 更新日 | 2017.02.18 |