Mendeley出力
＜図書＞
Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings
| 責任表示 | J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.) |
|---|---|
| シリーズ | Lecture notes in computer science ; 666 |
| データ種別 | 図書 |
| 出版情報 | Berlin ; Tokyo : Springer-Verlag , c1993 |
| 本文言語 | 英語 |
| 大きさ | viii, 659 p. : ill. ; 24 cm |
| 概要 | Researchers working on the semantics of programminglanguages came together in The Netherlands in June 1992 fora workshop on Semantics - Foundations and Applications. Thisvolume is based on the meetin... and contains materialprepared by the lecturers after the meeting took place. Thevolume includes papers on a wide range of topics in bothfoundationsand applications, including: - Comparative domain theory, category theory, informationsystems, - Concurrency: process algebras, asynchronous communication, action semantics, trace nets, process refinement, concurrentconstraint programming, - Predicate transformers, refinement, weakest preconditions, - Comparative semantics of programming concepts, fullabstraction, - Reasoning about programs: total correctness, epistemiclogic, - Logic programming, - Functional programming: sequentiality, integration withconcurrency, applied structured operational semantics.The workshop was an activity of the project REX (ResearchandEducation in Concurrent Systems) sponsored by theNetherlands NFI (NationaleFaciliteit Informatica)Programme. This book responds to the growing need to secure critical infrastructure by creating a starting place for new researchers in secure telecommunications networks. It discusses securing current and next generation telecommunications networks. 続きを見る |
| 電子版へのリンク | https://hdl.handle.net/2324/6796602 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
: gw | 理系図 自動書庫 | 408/L 49 | 1993 |
|
061232004010914 |
|
書誌詳細
| 一般注記 | Includes bibliographical references |
|---|---|
| 著者標目 | *REX Workshop (1992 : Beekbergen, Netherlands) Bakker, Jacobus Willem de, 1939- Roever, W.-P. de, 1943- Rozenberg, Grzegorz |
| 件 名 | LCSH:Programming languages (Electronic computers) -- Semantics -- Congresses 全ての件名で検索 |
| 分 類 | LCC:QA76.7 DC20:005.13/1 NDC8:007.64 |
| 書誌ID | 1000979827 |
| ISBN | 3540565965 |
| NCID | BA1996121X |
| 巻冊次 | : gw ; ISBN:3540565965 ; PRICE:DM122.00 : us ; ISBN:0387565965 |
| 登録日 | 2009.09.16 |
| 更新日 | 2017.02.18 |