Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers / Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki, eds. (Lecture notes in computer science)

Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers / Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki, eds.

(Lecture notes in computer science)

Call No. (NDL): M15-A9643
Bibliographic ID of National Diet Library: 000003235465

Material type: 図書

Author: Workshop on Specification of Abstract Data Types (10th : 1994 : Santa Margherita, Italy)ほか

Publisher: Springer-Verlag

Publication date: c1995.

Material Format: Paper

Capacity, size, etc.: viii, 523 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Includes bibliographies.

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 354059132X (Berlin)
038759132X (New York)
Title: Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers / Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki, eds.
Series Title: Lecture notes in computer science
Author Heading: Workshop on Specification of Abstract Data Types (10th : 1994 : Santa Margherita, Italy)
Astesiano, E. (Egidio) , 1939-
Reggio, Gianna, 1957-
Tarlecki, Andrzej.
COMPASS Workshop (5th : 1994 : Santa Margherita, Italy)
Publication, Distribution, etc.: Berlin : Springer-Verlag
New York : Springer-Verlag
Publication Date: c1995.
Publication Date (W3CDTF): 1995
Extent: viii, 523 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Abstract data types (Computer science) -- Congresses.
LCC: QA76.9.A23
DDC: 005.7/3
NDLC: M15
M154
Note (General): Includes bibliographies.
Holding library: 国立国会図書館
Call No.: M15-A9643
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003235465
http://id.ndl.go.jp/bib/000003235465
LC Control Number: 95010172
https://lccn.loc.gov/95010172
Bibliographic Record Category (NDL): 211