Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever / Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.). (Lecture notes in computer science ; 5930 ; Festschrift)

Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever / Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.).

(Lecture notes in computer science ; 5930 ; Festschrift)

国立国会図書館請求記号: M154-B107
国立国会図書館書誌ID: 000010868794

資料種別: 図書

著者: Dams, Dennis.ほか

出版者: Springer

出版年: c2010.

資料形態: 紙

ページ数・大きさ等: x, 375 p. : ill. ; 24 cm.

NDC: -

すべて見る

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別: 図書
ISBN: 9783642115110 (ISBN-13)
364211511X
ISSN（シリーズ）: 0302-9743.
タイトル: Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever / Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.).
シリーズタイトル: Lecture notes in computer science ; 5930 ; Festschrift
タイトル標目: LNCS sublibrary. SL 1 Theoretical computer science and general issues.
著者標目: Dams, Dennis.
Roever, W. P. de (Willem Paul)
Hannemann, Ulrich.
Steffen, Martin.
出版事項: Berlin : Springer
New York : Springer
出版年月日等: c2010.
出版年（W3CDTF）: 2010
数量: x, 375 p. : ill. ; 24 cm.
出版地（国名コード）: DE
本文の言語コード: eng
件名標目: Parallel programming (Computer science)
Computer programs -- Correctness.
Computer science.
LCC: QA76.9
DDC: 004
NDLC: M154
書誌注記: Includes bibliographical references and index.
Includes "A bibliography of Willem-Paul de Roever" (p. [1]-9) .
別の媒体に関する注記: Also issued online.
所蔵機関: 国立国会図書館
請求記号: M154-B107
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 000010868794
http://id.ndl.go.jp/bib/000010868794
LC control number: 2009943840
https://lccn.loc.gov/2009943840
OCLC番号: 495780885
https://www.worldcat.org/oclc/495780885
目録規則: 英米目録規則
整理区分コード: 211