Methodical specification of abstract data types via rewriting systems:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | Undetermined |
| Veröffentlicht: |
Rio de Janeiro, Brasil
Pontificia Univ. Católica do Rio de Janeiro, Departamento de Informática
1981
|
| Schriftenreihe: | Monografias em Ciência da Computação
1981,7 |
| Beschreibung: | 41 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010044769 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 950215s1981 |||| 00||| undod | ||
| 035 | |a (OCoLC)633363749 | ||
| 035 | |a (DE-599)BVBBV010044769 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | |a und | ||
| 049 | |a DE-91G | ||
| 100 | 1 | |a Veloso, Paulo A. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Methodical specification of abstract data types via rewriting systems |c by P. 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 41 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,7 | |
| 830 | 0 | |a Monografias em Ciência da Computação |v 1981,7 |w (DE-604)BV009921172 |9 1981,7 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006662207 | ||
Datensatz im Suchindex
| _version_ | 1804124428079988736 |
|---|---|
| any_adam_object | |
| author | Veloso, Paulo A. |
| author_facet | Veloso, Paulo A. |
| author_role | aut |
| author_sort | Veloso, Paulo A. |
| author_variant | p a v pa pav |
| building | Verbundindex |
| bvnumber | BV010044769 |
| ctrlnum | (OCoLC)633363749 (DE-599)BVBBV010044769 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00915nam a2200265 cb4500</leader><controlfield tag="001">BV010044769</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950215s1981 |||| 00||| undod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633363749</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010044769</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">Veloso, Paulo A.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Methodical specification of abstract data types via rewriting systems</subfield><subfield code="c">by P. 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">41 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,7</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Monografias em Ciência da Computação</subfield><subfield code="v">1981,7</subfield><subfield code="w">(DE-604)BV009921172</subfield><subfield code="9">1981,7</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006662207</subfield></datafield></record></collection> |
| id | DE-604.BV010044769 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:45:30Z |
| institution | BVB |
| language | Undetermined |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006662207 |
| oclc_num | 633363749 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 41 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 |
| spelling | Veloso, Paulo A. Verfasser aut Methodical specification of abstract data types via rewriting systems by P. A. S. Veloso Rio de Janeiro, Brasil Pontificia Univ. Católica do Rio de Janeiro, Departamento de Informática 1981 41 S. txt rdacontent n rdamedia nc rdacarrier Monografias em Ciência da Computação 1981,7 Monografias em Ciência da Computação 1981,7 (DE-604)BV009921172 1981,7 |
| spellingShingle | Veloso, Paulo A. Methodical specification of abstract data types via rewriting systems Monografias em Ciência da Computação |
| title | Methodical specification of abstract data types via rewriting systems |
| title_auth | Methodical specification of abstract data types via rewriting systems |
| title_exact_search | Methodical specification of abstract data types via rewriting systems |
| title_full | Methodical specification of abstract data types via rewriting systems by P. A. S. Veloso |
| title_fullStr | Methodical specification of abstract data types via rewriting systems by P. A. S. Veloso |
| title_full_unstemmed | Methodical specification of abstract data types via rewriting systems by P. A. S. Veloso |
| title_short | Methodical specification of abstract data types via rewriting systems |
| title_sort | methodical specification of abstract data types via rewriting systems |
| volume_link | (DE-604)BV009921172 |
| work_keys_str_mv | AT velosopauloa methodicalspecificationofabstractdatatypesviarewritingsystems |