Recent trends in data type specification : 11th Workshop on specification of abstract data types : Sep 1995, Oslo, Norway. (Lecture Notes in Computer Science ; 1130)

Recent trends in data type specification : 11th Workshop on specification of abstract data types : Sep 1995, Oslo, Norway.

(Lecture Notes in Computer Science ; 1130)

Call No. (NDL): M17-00-0369
Bibliographic ID of National Diet Library: 000003510173

Material type: 図書

Author: University of Oslo. Department of Informatics.

Publisher: Springer

Publication date: 1996.

Material Format: Paper

Capacity, size, etc.: v.

NDC: -

View All

Notes on use

Note (General)：: Selected papers.Held jointly with the 8th COMPASS workshop.Index term: abstract data types ; data type specification ; COMPASS....

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: 3540616292
ISSN: 0302-9743
Title: Recent trends in data type specification : 11th Workshop on specification of abstract data types : Sep 1995, Oslo, Norway.
Series Title: Lecture Notes in Computer Science ; 1130
Author Heading: University of Oslo. Department of Informatics.
Publication, Distribution, etc.: Springer
Publication Date: 1996.
Publication Date (W3CDTF): 1996
Extent: v.
Alternative Title: Held jointly with the 8th COMPASS workshop
abstract data types ; data type specification ; COMPASS
NDLC: M17
M154
Note (General): Selected papers.
Held jointly with the 8th COMPASS workshop.
Index term: abstract data types ; data type specification ; COMPASS.
BL shelfmark: 5180.185 vol 1130 1996.
Holding library: 国立国会図書館
Call No.: M17-00-0369
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003510173
http://id.ndl.go.jp/bib/000003510173
UKMARC No.: G05179209
Bibliographic Record Category (NDL): 215