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

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

Label
Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types : selected papers, Gullane, Scotland, September 1-4, 1987
Title
Recent trends in data type specification
Title remainder
5th Workshop on Specification of Abstract Data Types : selected papers, Gullane, Scotland, September 1-4, 1987
Statement of responsibility
D. Sannella, A. Tarlecki, eds
Creator
Contributor
Subject
Genre
Language
eng
Cataloging source
DLC
Dewey number
005.7/3
Illustrations
illustrations
Index
no index present
LC call number
QA76.9.A23
LC item number
W67 1987
Literary form
non fiction
Nature of contents
bibliography
Series statement
Lecture notes in computer science
Series volume
332
Label
Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types : selected papers, Gullane, Scotland, September 1-4, 1987, D. Sannella, A. Tarlecki, eds
Instantiates
Publication
Bibliography note
Includes bibliographiecal references
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Dimensions
24 cm.
Extent
259 p.
Isbn
9780387503257
Isbn Type
(U.S.)
Lccn
88029513
Media category
unmediated
Media MARC source
rdamedia
Other physical details
ill.
System control number
  • (NRN)DBJ2968
  • (RLIN)UTBG90-B10972
  • (OCoLC)ocn135287019
Label
Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types : selected papers, Gullane, Scotland, September 1-4, 1987, D. Sannella, A. Tarlecki, eds
Publication
Bibliography note
Includes bibliographiecal references
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Dimensions
24 cm.
Extent
259 p.
Isbn
9780387503257
Isbn Type
(U.S.)
Lccn
88029513
Media category
unmediated
Media MARC source
rdamedia
Other physical details
ill.
System control number
  • (NRN)DBJ2968
  • (RLIN)UTBG90-B10972
  • (OCoLC)ocn135287019

Library Locations

    • Harold B. Lee Library Brigham Young University, Provo, UT, 84602, US
      40.249156 -111.649242
Processing Feedback ...