Providence University Luking Library Webpac

Home > Information

Check-outs :

Brief

MARC

001

217895

003

OCoLC

005

19941228145217.0

008		810420s1981 gw a b 101 0 eng
010		\|a 81005715
019		\|a7548189
020		\|a0387106995 (U.S. : pbk.)
035		\|a00193610
040		\|aDLC\|cDLC\|dRRR
041	0	\|aengfre
049		\|aPVYA[][][][72830]
050	0	\|aQA76.6\|b.F66
092	0	\|a005.1\|bF7655, 1981
094		\|a靜宜\|d005.1\|eF7655\|y1981\|cE72830/00163781\|tDDC\|fmilk
095		\|pBOOK\|d005.1\|eF7655\|y1981
245	00	\|aFormalization of programming concepts :\|binternational colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings /\|cedited by J. Diaz and I. Ramos.
260		\|aBerlin :\|bSpringer-Verlag,\|c1981.
300		\|avii, 478 p. :\|bill. ;\|c25 cm.
440	0	\|aLecture notes in computer science ;\|v107
504		\|aIncludes bibliographies and index.
650	0	\|aElectronic digital computers\|xProgramming\|xCongresses.
700	10	\|aDiaz, J.\|q(Josep),\|d1950-
700	10	\|aRamos, I.\|q(Isidro),\|d1943-
711	20	\|aInternational Colloquium on the Formalization of Programming Concepts\|d(1981 :\|cPeniscola, Spain)