Algebraic specification:
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
New York, N.Y.
ACM Pr. [u.a.]
1989
|
| Edition: | 1. print. |
| Series: | ACM Press frontier series
|
| Subjects: | |
| Physical Description: | XIII, 397 S. Ill., graph. Darst. |
| ISBN: | 0201416352 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021890446 | ||
| 003 | DE-604 | ||
| 005 | 20040301000000.0 | ||
| 007 | t | ||
| 008 | 900509s1989 ad|| |||| 00||| eng d | ||
| 020 | |a 0201416352 |9 0-201-41635-2 | ||
| 035 | |a (OCoLC)18715793 | ||
| 035 | |a (DE-599)BVBBV021890446 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-83 | ||
| 050 | 0 | |a QA76.9.A23 | |
| 082 | 0 | |a 005.13/1 |2 19 | |
| 082 | 0 | |a 005.7 |2 19 | |
| 084 | |a ST 140 |0 (DE-625)143592: |2 rvk | ||
| 084 | |a ST 270 |0 (DE-625)143638: |2 rvk | ||
| 245 | 1 | 0 | |a Algebraic specification |c ed. by J. A. Bergstra ... |
| 250 | |a 1. print. | ||
| 264 | 1 | |a New York, N.Y. |b ACM Pr. [u.a.] |c 1989 | |
| 300 | |a XIII, 397 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a ACM Press frontier series | |
| 650 | 7 | |a Algebra |2 gtt | |
| 650 | 7 | |a Génie logiciel |2 ram | |
| 650 | 7 | |a MINI-ML |2 inriac | |
| 650 | 7 | |a PICO |2 inriac | |
| 650 | 7 | |a POOL |2 inriac | |
| 650 | 7 | |a Software |2 gtt | |
| 650 | 7 | |a Specificatie |2 gtt | |
| 650 | 7 | |a Spécifications |2 ram | |
| 650 | 4 | |a Types abstraits de données (Informatique) | |
| 650 | 7 | |a prototypage |2 inriac | |
| 650 | 7 | |a small |2 inriac | |
| 650 | 7 | |a spécification algébrique |2 inriac | |
| 650 | 7 | |a syntaxe |2 inriac | |
| 650 | 7 | |a type abstrait |2 inriac | |
| 650 | 4 | |a Abstract data types (Computer science) | |
| 650 | 0 | 7 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Abstrakter Datentyp |0 (DE-588)4120827-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Abstrakter Datentyp |0 (DE-588)4120827-4 |D s |
| 689 | 0 | 1 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Bergstra, Jan A. |d 1951- |e Sonstige |0 (DE-588)123304881 |4 oth | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015105661 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804135833511395328 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author_GND | (DE-588)123304881 |
| building | Verbundindex |
| bvnumber | BV021890446 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.A23 |
| callnumber-search | QA76.9.A23 |
| callnumber-sort | QA 276.9 A23 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 140 ST 270 |
| ctrlnum | (OCoLC)18715793 (DE-599)BVBBV021890446 |
| dewey-full | 005.13/1 005.7 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/1 005.7 |
| dewey-search | 005.13/1 005.7 |
| dewey-sort | 15.13 11 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| edition | 1. print. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01926nam a2200589zc 4500</leader><controlfield tag="001">BV021890446</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040301000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900509s1989 ad|| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0201416352</subfield><subfield code="9">0-201-41635-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)18715793</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021890446</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.A23</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1</subfield><subfield code="2">19</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.7</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 140</subfield><subfield code="0">(DE-625)143592:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 270</subfield><subfield code="0">(DE-625)143638:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algebraic specification</subfield><subfield code="c">ed. by J. A. Bergstra ...</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. print.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, N.Y.</subfield><subfield code="b">ACM Pr. [u.a.]</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 397 S.</subfield><subfield code="b">Ill., graph. Darst.</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="0" ind2=" "><subfield code="a">ACM Press frontier series</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algebra</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Génie logiciel</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MINI-ML</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PICO</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">POOL</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Software</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Specificatie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Spécifications</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Types abstraits de données (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">prototypage</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">small</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">spécification algébrique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">syntaxe</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">type abstrait</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Abstract data types (Computer science)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Abstrakter Datentyp</subfield><subfield code="0">(DE-588)4120827-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Abstrakter Datentyp</subfield><subfield code="0">(DE-588)4120827-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bergstra, Jan A.</subfield><subfield code="d">1951-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)123304881</subfield><subfield code="4">oth</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015105661</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV021890446 |
| illustrated | Illustrated |
| index_date | 2024-07-02T16:04:08Z |
| indexdate | 2024-07-09T20:46:47Z |
| institution | BVB |
| isbn | 0201416352 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015105661 |
| oclc_num | 18715793 |
| open_access_boolean | |
| owner | DE-706 DE-83 |
| owner_facet | DE-706 DE-83 |
| physical | XIII, 397 S. Ill., graph. Darst. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | ACM Pr. [u.a.] |
| record_format | marc |
| series2 | ACM Press frontier series |
| spelling | Algebraic specification ed. by J. A. Bergstra ... 1. print. New York, N.Y. ACM Pr. [u.a.] 1989 XIII, 397 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier ACM Press frontier series Algebra gtt Génie logiciel ram MINI-ML inriac PICO inriac POOL inriac Software gtt Specificatie gtt Spécifications ram Types abstraits de données (Informatique) prototypage inriac small inriac spécification algébrique inriac syntaxe inriac type abstrait inriac Abstract data types (Computer science) Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf Abstrakter Datentyp (DE-588)4120827-4 gnd rswk-swf Abstrakter Datentyp (DE-588)4120827-4 s Algebraische Spezifikation (DE-588)4207192-6 s 1\p DE-604 Bergstra, Jan A. 1951- Sonstige (DE-588)123304881 oth 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Algebraic specification Algebra gtt Génie logiciel ram MINI-ML inriac PICO inriac POOL inriac Software gtt Specificatie gtt Spécifications ram Types abstraits de données (Informatique) prototypage inriac small inriac spécification algébrique inriac syntaxe inriac type abstrait inriac Abstract data types (Computer science) Algebraische Spezifikation (DE-588)4207192-6 gnd Abstrakter Datentyp (DE-588)4120827-4 gnd |
| subject_GND | (DE-588)4207192-6 (DE-588)4120827-4 |
| title | Algebraic specification |
| title_auth | Algebraic specification |
| title_exact_search | Algebraic specification |
| title_exact_search_txtP | Algebraic specification |
| title_full | Algebraic specification ed. by J. A. Bergstra ... |
| title_fullStr | Algebraic specification ed. by J. A. Bergstra ... |
| title_full_unstemmed | Algebraic specification ed. by J. A. Bergstra ... |
| title_short | Algebraic specification |
| title_sort | algebraic specification |
| topic | Algebra gtt Génie logiciel ram MINI-ML inriac PICO inriac POOL inriac Software gtt Specificatie gtt Spécifications ram Types abstraits de données (Informatique) prototypage inriac small inriac spécification algébrique inriac syntaxe inriac type abstrait inriac Abstract data types (Computer science) Algebraische Spezifikation (DE-588)4207192-6 gnd Abstrakter Datentyp (DE-588)4120827-4 gnd |
| topic_facet | Algebra Génie logiciel MINI-ML PICO POOL Software Specificatie Spécifications Types abstraits de données (Informatique) prototypage small spécification algébrique syntaxe type abstrait Abstract data types (Computer science) Algebraische Spezifikation Abstrakter Datentyp |
| work_keys_str_mv | AT bergstrajana algebraicspecification |