Availability: Comparing abstract data type specifications via their normal forms

Comparing abstract data type specifications via their normal forms:

Saved in:

Bibliographic Details
Main Authors:	Remy, Jean L. (Author), Veloso, Paulo A. (Author)
Format:	Book
Language:	Undetermined
Published:	Rio de Janeiro, Brasil Pontificia Univ. Católica do Rio de Janeiro, Departamento de Informática 1981
Series:	Monografias em Ciência da Computação 1981,1
Physical Description:	21 S.

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV010044666
003	DE-604
005	00000000000000.0
007	t\|
008	950215s1981 xx \|\|\|\| 00\|\|\| undod
035			\|a (OCoLC)633361858
035			\|a (DE-599)BVBBV010044666
040			\|a DE-604 \|b ger \|e rakddb
041			\|a und
049			\|a DE-91G
100	1		\|a Remy, Jean L. \|e Verfasser \|4 aut
245	1	0	\|a Comparing abstract data type specifications via their normal forms \|c Jean Luc Remy ; Paulo A. S. Veloso
264		1	\|a Rio de Janeiro, Brasil \|b Pontificia Univ. Católica do Rio de Janeiro, Departamento de Informática \|c 1981
300			\|a 21 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Monografias em Ciência da Computação \|v 1981,1
700	1		\|a Veloso, Paulo A. \|e Verfasser \|4 aut
830		0	\|a Monografias em Ciência da Computação \|v 1981,1 \|w (DE-604)BV009921172 \|9 1981,1
943	1		\|a oai:aleph.bib-bvb.de:BVB01-006662120

Record in the Search Index

DE-BY-TUM_call_number	0111 2001 B 6108-1981,1
DE-BY-TUM_katkey	647532
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040010273699
_version_	1821938383160606720
any_adam_object
author	Remy, Jean L. Veloso, Paulo A.
author_facet	Remy, Jean L. Veloso, Paulo A.
author_role	aut aut
author_sort	Remy, Jean L.
author_variant	j l r jl jlr p a v pa pav
building	Verbundindex
bvnumber	BV010044666
ctrlnum	(OCoLC)633361858 (DE-599)BVBBV010044666
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00975nam a2200277 cb4500</leader><controlfield tag="001">BV010044666</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">950215s1981 xx \|\|\|\| 00\|\|\| undod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633361858</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010044666</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Remy, Jean L.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Comparing abstract data type specifications via their normal forms</subfield><subfield code="c">Jean Luc Remy ; Paulo A. S. Veloso</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Rio de Janeiro, Brasil</subfield><subfield code="b">Pontificia Univ. Católica do Rio de Janeiro, Departamento de Informática</subfield><subfield code="c">1981</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">21 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Monografias em Ciência da Computação</subfield><subfield code="v">1981,1</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Veloso, Paulo A.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Monografias em Ciência da Computação</subfield><subfield code="v">1981,1</subfield><subfield code="w">(DE-604)BV009921172</subfield><subfield code="9">1981,1</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006662120</subfield></datafield></record></collection>
id	DE-604.BV010044666
illustrated	Not Illustrated
indexdate	2024-12-20T09:46:52Z
institution	BVB
language	Undetermined
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-006662120
oclc_num	633361858
open_access_boolean
owner	DE-91G DE-BY-TUM
owner_facet	DE-91G DE-BY-TUM
physical	21 S.
publishDate	1981
publishDateSearch	1981
publishDateSort	1981
publisher	Pontificia Univ. Católica do Rio de Janeiro, Departamento de Informática
record_format	marc
series	Monografias em Ciência da Computação
series2	Monografias em Ciência da Computação
spellingShingle	Remy, Jean L. Veloso, Paulo A. Comparing abstract data type specifications via their normal forms Monografias em Ciência da Computação
title	Comparing abstract data type specifications via their normal forms
title_auth	Comparing abstract data type specifications via their normal forms
title_exact_search	Comparing abstract data type specifications via their normal forms
title_full	Comparing abstract data type specifications via their normal forms Jean Luc Remy ; Paulo A. S. Veloso
title_fullStr	Comparing abstract data type specifications via their normal forms Jean Luc Remy ; Paulo A. S. Veloso
title_full_unstemmed	Comparing abstract data type specifications via their normal forms Jean Luc Remy ; Paulo A. S. Veloso
title_short	Comparing abstract data type specifications via their normal forms
title_sort	comparing abstract data type specifications via their normal forms
volume_link	(DE-604)BV009921172
work_keys_str_mv	AT remyjeanl comparingabstractdatatypespecificationsviatheirnormalforms AT velosopauloa comparingabstractdatatypespecificationsviatheirnormalforms

Availability

Order (Login required)

Order paper/chapter scan

Branch Library Mathematics & Informatics, Reports

Holdings details from Teilbibliothek Mathematik & Informatik, Berichte
Call Number:	0111 2001 B 6108-1981,1 Floor plan
Copy 1	Available for loan On Shelf