Providence University Luking Library Webpac

Home > Information

Check-outs :

Brief

MARC

001

140281

003

OCoLC

005

19941006110448.0

008		940215s1994 nyua b 100 0 eng
010		\|a 94008265
020		\|a3540578676 (Berlin : acid-free paper)
020		\|a0387578676 (New York : acid-free paper)
035		\|a00223637
040		\|aDLC\|cDLC
049		\|aPVYA[][][][71802]
050	00	\|aQA76.9.A23\|bW67 1992
092	0	\|a005.73\|bW892, 1992
094		\|a靜宜\|d005.73\|eW892\|y1992\|cE71802/00154880\|tDDC\|fmilk
095		\|pBOOK\|d005.73\|eW892\|y1992
111	2	\|aWorkshop on Specification of Abstract Data Types\|n(9th :\|d1992 :\|cCaldes de Malavella, Spain)
245	10	\|aRecent trends in data type specification :\|b9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992 : selected papers /\|cHartmut Ehrig, Fernando Orejas, (eds.)
260		\|aBerlin :\|bSpringer-Verlag,\|cc1994.
300		\|aviii, 350 p. :\|bill. ;\|c24 cm.
440	0	\|aLecture notes in computer science ;\|v785
504		\|aIncludes bibliographical references.
650	0	\|aAbstract data types (Computer science)\|xCongresses.
700	10	\|aEhrig, Hartmut.
700	10	\|aOrejas, F.\|q(Fernando)
711	20	\|aCOMPASS Workshop\|n(4th :\|d1992 :\|cCaldes de Malavella, Spain)