Fundamentals of algebraic specification:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
|
| Schriftenreihe: | European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science
... |
| Schlagworte: | |
| ISBN: | 3540137181 0387137181 |
Internformat
MARC
| LEADER | 00000nam a2200000 ca4500 | ||
|---|---|---|---|
| 001 | BV002390658 | ||
| 003 | DE-604 | ||
| 005 | 19900202 | ||
| 007 | t | ||
| 008 | 891002nuuuuuuuu |||| 00||| eng d | ||
| 020 | |a 3540137181 |9 3-540-13718-1 | ||
| 020 | |a 0387137181 |9 0-387-13718-1 | ||
| 035 | |a (OCoLC)11842068 | ||
| 035 | |a (DE-599)BVBBV002390658 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 050 | 0 | |a QA76.9.D35 | |
| 082 | 0 | |a 001.64/2 |2 19 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 140 |0 (DE-625)143592: |2 rvk | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 304 |0 (DE-625)143653: |2 rvk | ||
| 084 | |a DAT 455f |2 stub | ||
| 084 | |a DAT 335f |2 stub | ||
| 084 | |a DAT 315f |2 stub | ||
| 084 | |a 68F20 |2 msc | ||
| 100 | 1 | |a Ehrig, Hartmut |d 1944-2016 |e Verfasser |0 (DE-588)107905582 |4 aut | |
| 245 | 1 | 0 | |a Fundamentals of algebraic specification |c Hartmut Ehrig ; Bernd Mahr |
| 264 | 1 | |a Berlin u.a. |b Springer | |
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science |v ... | |
| 650 | 4 | |a Algèbre | |
| 650 | 7 | |a Fundamentele informatica |2 gtt | |
| 650 | 4 | |a Langage algébrique | |
| 650 | 4 | |a Langage programmation | |
| 650 | 4 | |a Structures de données (Informatique) | |
| 650 | 4 | |a Sémantique | |
| 650 | 7 | |a Sémantique (théorie de l'information) |2 ram | |
| 650 | 4 | |a Algebra | |
| 650 | 4 | |a Data structures (Computer science) | |
| 650 | 0 | 7 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Mahr, Bernd |e Verfasser |4 aut | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-012158471 | ||
Datensatz im Suchindex
| _version_ | 1804131998939217920 |
|---|---|
| any_adam_object | |
| author | Ehrig, Hartmut 1944-2016 Mahr, Bernd |
| author_GND | (DE-588)107905582 |
| author_facet | Ehrig, Hartmut 1944-2016 Mahr, Bernd |
| author_role | aut aut |
| author_sort | Ehrig, Hartmut 1944-2016 |
| author_variant | h e he b m bm |
| building | Verbundindex |
| bvnumber | BV002390658 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.D35 |
| callnumber-search | QA76.9.D35 |
| callnumber-sort | QA 276.9 D35 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 130 ST 140 ST 230 ST 304 |
| classification_tum | DAT 455f DAT 335f DAT 315f |
| ctrlnum | (OCoLC)11842068 (DE-599)BVBBV002390658 |
| dewey-full | 001.64/2 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 001 - Knowledge |
| dewey-raw | 001.64/2 |
| dewey-search | 001.64/2 |
| dewey-sort | 11.64 12 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Allgemeines Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01772nam a2200529 ca4500</leader><controlfield tag="001">BV002390658</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19900202 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">891002nuuuuuuuu |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540137181</subfield><subfield code="9">3-540-13718-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387137181</subfield><subfield code="9">0-387-13718-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)11842068</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002390658</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="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.D35</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">001.64/2</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</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 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 304</subfield><subfield code="0">(DE-625)143653:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 455f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 335f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 315f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68F20</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ehrig, Hartmut</subfield><subfield code="d">1944-2016</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)107905582</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Fundamentals of algebraic specification</subfield><subfield code="c">Hartmut Ehrig ; Bernd Mahr</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</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">European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science</subfield><subfield code="v">...</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algèbre</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Fundamentele informatica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langage algébrique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langage programmation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Structures de données (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Sémantique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Sémantique (théorie de l'information)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data structures (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="689" ind1="0" ind2="0"><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="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mahr, Bernd</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-012158471</subfield></datafield></record></collection> |
| id | DE-604.BV002390658 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T19:45:50Z |
| institution | BVB |
| isbn | 3540137181 0387137181 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-012158471 |
| oclc_num | 11842068 |
| open_access_boolean | |
| publishDateSort | 0000 |
| publisher | Springer |
| record_format | marc |
| series2 | European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science |
| spelling | Ehrig, Hartmut 1944-2016 Verfasser (DE-588)107905582 aut Fundamentals of algebraic specification Hartmut Ehrig ; Bernd Mahr Berlin u.a. Springer txt rdacontent n rdamedia nc rdacarrier European Association for Theoretical Computer Science: EATCS monographs on theoretical computer science ... Algèbre Fundamentele informatica gtt Langage algébrique Langage programmation Structures de données (Informatique) Sémantique Sémantique (théorie de l'information) ram Algebra Data structures (Computer science) Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf Algebraische Spezifikation (DE-588)4207192-6 s DE-604 Mahr, Bernd Verfasser aut |
| spellingShingle | Ehrig, Hartmut 1944-2016 Mahr, Bernd Fundamentals of algebraic specification Algèbre Fundamentele informatica gtt Langage algébrique Langage programmation Structures de données (Informatique) Sémantique Sémantique (théorie de l'information) ram Algebra Data structures (Computer science) Algebraische Spezifikation (DE-588)4207192-6 gnd |
| subject_GND | (DE-588)4207192-6 |
| title | Fundamentals of algebraic specification |
| title_auth | Fundamentals of algebraic specification |
| title_exact_search | Fundamentals of algebraic specification |
| title_full | Fundamentals of algebraic specification Hartmut Ehrig ; Bernd Mahr |
| title_fullStr | Fundamentals of algebraic specification Hartmut Ehrig ; Bernd Mahr |
| title_full_unstemmed | Fundamentals of algebraic specification Hartmut Ehrig ; Bernd Mahr |
| title_short | Fundamentals of algebraic specification |
| title_sort | fundamentals of algebraic specification |
| topic | Algèbre Fundamentele informatica gtt Langage algébrique Langage programmation Structures de données (Informatique) Sémantique Sémantique (théorie de l'information) ram Algebra Data structures (Computer science) Algebraische Spezifikation (DE-588)4207192-6 gnd |
| topic_facet | Algèbre Fundamentele informatica Langage algébrique Langage programmation Structures de données (Informatique) Sémantique Sémantique (théorie de l'information) Algebra Data structures (Computer science) Algebraische Spezifikation |
| work_keys_str_mv | AT ehrighartmut fundamentalsofalgebraicspecification AT mahrbernd fundamentalsofalgebraicspecification |