Algebraische Spezifikation abstrakter Datentypen: Eine Einführung in die Theorie
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | German |
| Published: |
Wiesbaden
Vieweg+Teubner Verlag
1989
|
| Series: | Leitfäden und Monographien der Informatik
|
| Subjects: | |
| Online Access: | Volltext |
| Item Description: | Dies Buch ist aus der Überarbeitung und Erweiterung von Notizen zu Vorlesungen entstanden, die seit 1977 zunächst vom ersten Autor an der Universität Dortmund, seit 1982 dann von allen drei Autoren in wechselnder Folge an der Technischen Universität Braunschweig gehalten wurden. Der Schwerpunkt des Buches liegt bei den theoretischen Grundlagen, jedoch haben die Möglichkeiten und Grenzen praktischer Anwendung die Auswahl und die Gestaltung des Stoffes stark beeinflußt. Das Buch richtet sich vornehmlich an Informatiker, die sich mit Grundlagen des Software-Entwurfs auseinandersetzen wollen, und an Mathematiker, die sich für Anwendungen der universellen Algebra und der Logik in der Informatik interessieren. Das Buch hat einführenden Charakter. Die verwendeten Begriffe und Bezeichnungen werden systematisch definiert und erläutert. Eine gewisse Vertrautheit mit allgemeinen Grundlagen der Informatik sowie eine gewisse mathematische Reife werden jedoch vorausgesetzt. Gelegentlich wird zur Illustration von Zusammenhängen auf Konzepte und Begriffe aus der Theorie der formalen Sprachen und der Automatentheorie bezuggenommen, jedoch können diese Passagen übergangen werden, ohne daß der Zusammenhang verlorengeht. Das Gebiet der algebraischen Spezifikation abstrakter Datentypen ist heute - nach fast zwei Jahrzehnten Entwicklung - umfangreich und in viele Spezialgebiete verzweigt. Auch gibt es durchaus verschiedene Ansätze zur Gestaltung der Theorie und des Zugangs zu ihr. Ziel dieses Buches ist es nicht, all diesen Alternativen und Verästelungen nachzuspüren, sondern einen Kernbereich zu umreißen und diesen einheitlich und elementar darzustellen |
| Physical Description: | 1 Online-Ressource (IX, 239 S.) |
| ISBN: | 9783322947093 9783519022664 |
| DOI: | 10.1007/978-3-322-94709-3 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042431025 | ||
| 003 | DE-604 | ||
| 005 | 20160301 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1989 |||| o||u| ||||||ger d | ||
| 020 | |a 9783322947093 |c Online |9 978-3-322-94709-3 | ||
| 020 | |a 9783519022664 |c Print |9 978-3-519-02266-4 | ||
| 024 | 7 | |a 10.1007/978-3-322-94709-3 |2 doi | |
| 035 | |a (OCoLC)864038245 | ||
| 035 | |a (DE-599)BVBBV042431025 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-573 |a DE-706 |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 620 |2 23 | |
| 084 | |a TEC 000 |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Ehrich, Hans-Dieter |d 1943- |e Verfasser |0 (DE-588)137388322 |4 aut | |
| 245 | 1 | 0 | |a Algebraische Spezifikation abstrakter Datentypen |b Eine Einführung in die Theorie |c von Hans-Dieter Ehrich, Martin Gogolla, Udo Walter Lipeck |
| 264 | 1 | |a Wiesbaden |b Vieweg+Teubner Verlag |c 1989 | |
| 300 | |a 1 Online-Ressource (IX, 239 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Leitfäden und Monographien der Informatik | |
| 500 | |a Dies Buch ist aus der Überarbeitung und Erweiterung von Notizen zu Vorlesungen entstanden, die seit 1977 zunächst vom ersten Autor an der Universität Dortmund, seit 1982 dann von allen drei Autoren in wechselnder Folge an der Technischen Universität Braunschweig gehalten wurden. Der Schwerpunkt des Buches liegt bei den theoretischen Grundlagen, jedoch haben die Möglichkeiten und Grenzen praktischer Anwendung die Auswahl und die Gestaltung des Stoffes stark beeinflußt. Das Buch richtet sich vornehmlich an Informatiker, die sich mit Grundlagen des Software-Entwurfs auseinandersetzen wollen, und an Mathematiker, die sich für Anwendungen der universellen Algebra und der Logik in der Informatik interessieren. Das Buch hat einführenden Charakter. Die verwendeten Begriffe und Bezeichnungen werden systematisch definiert und erläutert. Eine gewisse Vertrautheit mit allgemeinen Grundlagen der Informatik sowie eine gewisse mathematische Reife werden jedoch vorausgesetzt. Gelegentlich wird zur Illustration von Zusammenhängen auf Konzepte und Begriffe aus der Theorie der formalen Sprachen und der Automatentheorie bezuggenommen, jedoch können diese Passagen übergangen werden, ohne daß der Zusammenhang verlorengeht. Das Gebiet der algebraischen Spezifikation abstrakter Datentypen ist heute - nach fast zwei Jahrzehnten Entwicklung - umfangreich und in viele Spezialgebiete verzweigt. Auch gibt es durchaus verschiedene Ansätze zur Gestaltung der Theorie und des Zugangs zu ihr. Ziel dieses Buches ist es nicht, all diesen Alternativen und Verästelungen nachzuspüren, sondern einen Kernbereich zu umreißen und diesen einheitlich und elementar darzustellen | ||
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Engineering, general | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 650 | 0 | 7 | |a Abstrakter Datentyp |0 (DE-588)4120827-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spezifikation |0 (DE-588)4139161-5 |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 | |
| 689 | 1 | 0 | |a Abstrakter Datentyp |0 (DE-588)4120827-4 |D s |
| 689 | 1 | 1 | |a Spezifikation |0 (DE-588)4139161-5 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Gogolla, Martin |d 1954- |e Sonstige |0 (DE-588)137388411 |4 oth | |
| 700 | 1 | |a Lipeck, Udo W. |d 1956- |e Sonstige |0 (DE-588)110676793 |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-322-94709-3 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027866356 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804153113625493504 |
|---|---|
| any_adam_object | |
| author | Ehrich, Hans-Dieter 1943- |
| author_GND | (DE-588)137388322 (DE-588)137388411 (DE-588)110676793 |
| author_facet | Ehrich, Hans-Dieter 1943- |
| author_role | aut |
| author_sort | Ehrich, Hans-Dieter 1943- |
| author_variant | h d e hde |
| building | Verbundindex |
| bvnumber | BV042431025 |
| classification_tum | TEC 000 DAT 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)864038245 (DE-599)BVBBV042431025 |
| dewey-full | 620 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 620 - Engineering and allied operations |
| dewey-raw | 620 |
| dewey-search | 620 |
| dewey-sort | 3620 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-322-94709-3 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03923nmm a2200565zc 4500</leader><controlfield tag="001">BV042431025</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160301 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1989 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783322947093</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-322-94709-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783519022664</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-519-02266-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-322-94709-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)864038245</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042431025</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">620</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ehrich, Hans-Dieter</subfield><subfield code="d">1943-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)137388322</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algebraische Spezifikation abstrakter Datentypen</subfield><subfield code="b">Eine Einführung in die Theorie</subfield><subfield code="c">von Hans-Dieter Ehrich, Martin Gogolla, Udo Walter Lipeck</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg+Teubner Verlag</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (IX, 239 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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Leitfäden und Monographien der Informatik</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Dies Buch ist aus der Überarbeitung und Erweiterung von Notizen zu Vorlesungen entstanden, die seit 1977 zunächst vom ersten Autor an der Universität Dortmund, seit 1982 dann von allen drei Autoren in wechselnder Folge an der Technischen Universität Braunschweig gehalten wurden. Der Schwerpunkt des Buches liegt bei den theoretischen Grundlagen, jedoch haben die Möglichkeiten und Grenzen praktischer Anwendung die Auswahl und die Gestaltung des Stoffes stark beeinflußt. Das Buch richtet sich vornehmlich an Informatiker, die sich mit Grundlagen des Software-Entwurfs auseinandersetzen wollen, und an Mathematiker, die sich für Anwendungen der universellen Algebra und der Logik in der Informatik interessieren. Das Buch hat einführenden Charakter. Die verwendeten Begriffe und Bezeichnungen werden systematisch definiert und erläutert. Eine gewisse Vertrautheit mit allgemeinen Grundlagen der Informatik sowie eine gewisse mathematische Reife werden jedoch vorausgesetzt. Gelegentlich wird zur Illustration von Zusammenhängen auf Konzepte und Begriffe aus der Theorie der formalen Sprachen und der Automatentheorie bezuggenommen, jedoch können diese Passagen übergangen werden, ohne daß der Zusammenhang verlorengeht. Das Gebiet der algebraischen Spezifikation abstrakter Datentypen ist heute - nach fast zwei Jahrzehnten Entwicklung - umfangreich und in viele Spezialgebiete verzweigt. Auch gibt es durchaus verschiedene Ansätze zur Gestaltung der Theorie und des Zugangs zu ihr. Ziel dieses Buches ist es nicht, all diesen Alternativen und Verästelungen nachzuspüren, sondern einen Kernbereich zu umreißen und diesen einheitlich und elementar darzustellen</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</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="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">Spezifikation</subfield><subfield code="0">(DE-588)4139161-5</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="689" ind1="1" 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="1" ind2="1"><subfield code="a">Spezifikation</subfield><subfield code="0">(DE-588)4139161-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gogolla, Martin</subfield><subfield code="d">1954-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)137388411</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lipeck, Udo W.</subfield><subfield code="d">1956-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)110676793</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-322-94709-3</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027866356</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\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.BV042431025 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:27Z |
| institution | BVB |
| isbn | 9783322947093 9783519022664 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027866356 |
| oclc_num | 864038245 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-1046 DE-1047 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-1046 DE-1047 |
| physical | 1 Online-Ressource (IX, 239 S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | Vieweg+Teubner Verlag |
| record_format | marc |
| series2 | Leitfäden und Monographien der Informatik |
| spelling | Ehrich, Hans-Dieter 1943- Verfasser (DE-588)137388322 aut Algebraische Spezifikation abstrakter Datentypen Eine Einführung in die Theorie von Hans-Dieter Ehrich, Martin Gogolla, Udo Walter Lipeck Wiesbaden Vieweg+Teubner Verlag 1989 1 Online-Ressource (IX, 239 S.) txt rdacontent c rdamedia cr rdacarrier Leitfäden und Monographien der Informatik Dies Buch ist aus der Überarbeitung und Erweiterung von Notizen zu Vorlesungen entstanden, die seit 1977 zunächst vom ersten Autor an der Universität Dortmund, seit 1982 dann von allen drei Autoren in wechselnder Folge an der Technischen Universität Braunschweig gehalten wurden. Der Schwerpunkt des Buches liegt bei den theoretischen Grundlagen, jedoch haben die Möglichkeiten und Grenzen praktischer Anwendung die Auswahl und die Gestaltung des Stoffes stark beeinflußt. Das Buch richtet sich vornehmlich an Informatiker, die sich mit Grundlagen des Software-Entwurfs auseinandersetzen wollen, und an Mathematiker, die sich für Anwendungen der universellen Algebra und der Logik in der Informatik interessieren. Das Buch hat einführenden Charakter. Die verwendeten Begriffe und Bezeichnungen werden systematisch definiert und erläutert. Eine gewisse Vertrautheit mit allgemeinen Grundlagen der Informatik sowie eine gewisse mathematische Reife werden jedoch vorausgesetzt. Gelegentlich wird zur Illustration von Zusammenhängen auf Konzepte und Begriffe aus der Theorie der formalen Sprachen und der Automatentheorie bezuggenommen, jedoch können diese Passagen übergangen werden, ohne daß der Zusammenhang verlorengeht. Das Gebiet der algebraischen Spezifikation abstrakter Datentypen ist heute - nach fast zwei Jahrzehnten Entwicklung - umfangreich und in viele Spezialgebiete verzweigt. Auch gibt es durchaus verschiedene Ansätze zur Gestaltung der Theorie und des Zugangs zu ihr. Ziel dieses Buches ist es nicht, all diesen Alternativen und Verästelungen nachzuspüren, sondern einen Kernbereich zu umreißen und diesen einheitlich und elementar darzustellen Engineering Engineering, general Ingenieurwissenschaften Abstrakter Datentyp (DE-588)4120827-4 gnd rswk-swf Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf Spezifikation (DE-588)4139161-5 gnd rswk-swf Abstrakter Datentyp (DE-588)4120827-4 s Algebraische Spezifikation (DE-588)4207192-6 s 1\p DE-604 Spezifikation (DE-588)4139161-5 s 2\p DE-604 Gogolla, Martin 1954- Sonstige (DE-588)137388411 oth Lipeck, Udo W. 1956- Sonstige (DE-588)110676793 oth https://doi.org/10.1007/978-3-322-94709-3 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Ehrich, Hans-Dieter 1943- Algebraische Spezifikation abstrakter Datentypen Eine Einführung in die Theorie Engineering Engineering, general Ingenieurwissenschaften Abstrakter Datentyp (DE-588)4120827-4 gnd Algebraische Spezifikation (DE-588)4207192-6 gnd Spezifikation (DE-588)4139161-5 gnd |
| subject_GND | (DE-588)4120827-4 (DE-588)4207192-6 (DE-588)4139161-5 |
| title | Algebraische Spezifikation abstrakter Datentypen Eine Einführung in die Theorie |
| title_auth | Algebraische Spezifikation abstrakter Datentypen Eine Einführung in die Theorie |
| title_exact_search | Algebraische Spezifikation abstrakter Datentypen Eine Einführung in die Theorie |
| title_full | Algebraische Spezifikation abstrakter Datentypen Eine Einführung in die Theorie von Hans-Dieter Ehrich, Martin Gogolla, Udo Walter Lipeck |
| title_fullStr | Algebraische Spezifikation abstrakter Datentypen Eine Einführung in die Theorie von Hans-Dieter Ehrich, Martin Gogolla, Udo Walter Lipeck |
| title_full_unstemmed | Algebraische Spezifikation abstrakter Datentypen Eine Einführung in die Theorie von Hans-Dieter Ehrich, Martin Gogolla, Udo Walter Lipeck |
| title_short | Algebraische Spezifikation abstrakter Datentypen |
| title_sort | algebraische spezifikation abstrakter datentypen eine einfuhrung in die theorie |
| title_sub | Eine Einführung in die Theorie |
| topic | Engineering Engineering, general Ingenieurwissenschaften Abstrakter Datentyp (DE-588)4120827-4 gnd Algebraische Spezifikation (DE-588)4207192-6 gnd Spezifikation (DE-588)4139161-5 gnd |
| topic_facet | Engineering Engineering, general Ingenieurwissenschaften Abstrakter Datentyp Algebraische Spezifikation Spezifikation |
| url | https://doi.org/10.1007/978-3-322-94709-3 |
| work_keys_str_mv | AT ehrichhansdieter algebraischespezifikationabstrakterdatentypeneineeinfuhrungindietheorie AT gogollamartin algebraischespezifikationabstrakterdatentypeneineeinfuhrungindietheorie AT lipeckudow algebraischespezifikationabstrakterdatentypeneineeinfuhrungindietheorie |