Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers / D. Sannella, A Tarlecki (eds.). (Lecture notes in computer science)

Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers / D. Sannella, A Tarlecki (eds.).

(Lecture notes in computer science)

国立国会図書館請求記号: M15-A3870
国立国会図書館書誌ID: 000003171168

資料種別: 図書

著者: Workshop on Specification of Abstract Data Types (5th : 1987 : Gullane, Scotland)ほか

出版者: Springer-Verlag

出版年: c1988.

資料形態: 紙

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

NDC: -

すべて見る

資料に関する注記

一般注記：: Includes bibliographies.

書店で探す

書誌情報

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

紙

資料種別: 図書
ISBN: 0387503250 (U.S.)
タイトル: Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers / D. Sannella, A Tarlecki (eds.).
シリーズタイトル: Lecture notes in computer science
著者標目: Workshop on Specification of Abstract Data Types (5th : 1987 : Gullane, Scotland)
Sannella, D. (Donald) , 1956-
Tarlecki, Andrzej.
出版事項: Berlin : Springer-Verlag
Tokyo : Springer-Verlag
出版年月日等: c1988.
出版年（W3CDTF）: 1988
数量: 259 p. : ill. ; 25 cm.
出版地（国名コード）: DE
本文の言語コード: eng
件名標目: Abstract data types (Computer science) -- Congresses.
LCC: QA76.9.A23
DDC: 005.7/3
NDLC: M15
M154
一般注記: Includes bibliographies.
所蔵機関: 国立国会図書館
請求記号: M15-A3870
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 000003171168
http://id.ndl.go.jp/bib/000003171168
LC control number: 88029513
https://lccn.loc.gov/88029513
整理区分コード: 211