Formal descriptions of developing systems. : NATO advanced research workshop on formal descriptions of developing systems : Oct 2002, Manoa, HI. (NATO Science Series. II, Mathematics, Physics and Chemistry ; 121)

Formal descriptions of developing systems. : NATO advanced research workshop on formal descriptions of developing systems : Oct 2002, Manoa, HI.

(NATO Science Series. II, Mathematics, Physics and Chemistry ; 121)

国立国会図書館請求記号: M17-04-1044
国立国会図書館書誌ID: 000004286559

資料種別: 図書

著者: Nation, J. B. (James Bryant) , 1948-

出版者: Kluwer Academic Publishers

出版年: c2003.

資料形態: 紙

ページ数・大きさ等: xiv, 306 p. : ill. ; 25 cm.

NDC: -

すべて見る

資料に関する注記

一般注記：: Papers.

書店で探す

書誌情報

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

紙

資料種別: 図書
ISBN: 1402015674 (alk. paper)
タイトル: Formal descriptions of developing systems. : NATO advanced research workshop on formal descriptions of developing systems : Oct 2002, Manoa, HI.
シリーズタイトル: NATO Science Series. II, Mathematics, Physics and Chemistry ; 121
著者標目: Nation, J. B. (James Bryant) , 1948-
出版事項: Dordrecht : Kluwer Academic Publishers
Boston : Kluwer Academic Publishers
London : Kluwer Academic Publishers
出版年月日等: c2003.
出版年（W3CDTF）: 2003
数量: xiv, 306 p. : ill. ; 25 cm.
出版地（国名コード）: NL
本文の言語コード: eng
件名標目: Science -- Methodology -- Congresses.
Science -- Forecasting -- Congresses.
LCC: Q174
DDC: 501
NDLC: M17
一般注記: Papers.
書誌注記: Includes bibliographical references and index.
所蔵機関: 国立国会図書館
請求記号: M17-04-1044
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 000004286559
http://id.ndl.go.jp/bib/000004286559
LC control number: 2003058884
https://lccn.loc.gov/2003058884
RLIN番号: XBCP2003058884-B
整理区分コード: 215