Gespeichert in:
| Beteiligte Personen: | , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | Deutsch |
| Veröffentlicht: |
Wiesbaden
Vieweg+Teubner Verlag
2000
|
| Schriftenreihe: | Informatik & Praxis
|
| Schlagwörter: | |
| Links: | https://doi.org/10.1007/978-3-322-80103-6 |
| Beschreibung: | Beschreibungsformalismen aus der theoretischen Informatik werden benutzt, um Systeme präzise zu beschreiben. Diese Formalismen werden in vielen Gebieten des praktischen Systementwurfs angewandt, z.B. bei der Spezifikation der Kommunikation zwischen Computern, der Beschreibung von Datenbanken oder der Feststellung von konkreten Bedienungsschritten in einem grafischen User Interface. Das Buch stellt die wichtigsten, grundlegenden Formalismen zusammen und kompensiert damit das in den sog. Bindestrich-Informatik-Studiengängen an Fachhochschulen typischerweise anzutreffende Defizit in diesem Bereich. Hervorgegangen aus Veranstaltungen dieser Studiengänge kann das Buch gut als vorlesungsbegleitendes Lehrwerk eingesetzt werden - gleichzeitig ist es auch für das Selbststudium geeignet |
| Umfang: | 1 Online-Ressource (124S.) |
| ISBN: | 9783322801036 9783519026433 |
| ISSN: | 1615-8245 |
| DOI: | 10.1007/978-3-322-80103-6 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042428862 | ||
| 003 | DE-604 | ||
| 005 | 20190320 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s2000 xx o|||| 00||| ger d | ||
| 020 | |a 9783322801036 |c Online |9 978-3-322-80103-6 | ||
| 020 | |a 9783519026433 |c Print |9 978-3-519-02643-3 | ||
| 024 | 7 | |a 10.1007/978-3-322-80103-6 |2 doi | |
| 035 | |a (OCoLC)863815190 | ||
| 035 | |a (DE-599)BVBBV042428862 | ||
| 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-Aug4 |a DE-860 |a DE-1046 |a DE-706 |a DE-703 |a DE-1028 |a DE-83 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 084 | |a TEC 000 |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Eirund, Helmut |d 1959- |0 (DE-588)121940101 |4 aut | |
| 245 | 1 | 0 | |a Formale Beschreibungsverfahren der Informatik |b Ein Arbeitsbuch für die Praxis |c von Helmut Eirund, Bernd Müller, Gerlinde Schreiber |
| 264 | 1 | |a Wiesbaden |b Vieweg+Teubner Verlag |c 2000 | |
| 300 | |a 1 Online-Ressource (124S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Informatik & Praxis |x 1615-8245 | |
| 500 | |a Beschreibungsformalismen aus der theoretischen Informatik werden benutzt, um Systeme präzise zu beschreiben. Diese Formalismen werden in vielen Gebieten des praktischen Systementwurfs angewandt, z.B. bei der Spezifikation der Kommunikation zwischen Computern, der Beschreibung von Datenbanken oder der Feststellung von konkreten Bedienungsschritten in einem grafischen User Interface. Das Buch stellt die wichtigsten, grundlegenden Formalismen zusammen und kompensiert damit das in den sog. Bindestrich-Informatik-Studiengängen an Fachhochschulen typischerweise anzutreffende Defizit in diesem Bereich. Hervorgegangen aus Veranstaltungen dieser Studiengänge kann das Buch gut als vorlesungsbegleitendes Lehrwerk eingesetzt werden - gleichzeitig ist es auch für das Selbststudium geeignet | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Information theory | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Software Engineering/Programming and Operating Systems | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Beschreibungstechnik |0 (DE-588)4351949-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Beschreibung |0 (DE-588)4456576-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 689 | 1 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 1 | 1 | |a Formale Beschreibung |0 (DE-588)4456576-8 |D s |
| 689 | 1 | |8 3\p |5 DE-604 | |
| 689 | 2 | 0 | |a Formale Beschreibungstechnik |0 (DE-588)4351949-0 |D s |
| 689 | 2 | |8 4\p |5 DE-604 | |
| 700 | 1 | |a Müller, Bernd |d 1962- |0 (DE-588)122447433 |4 aut | |
| 700 | 1 | |a Schreiber, Gerlinde |d 1959- |0 (DE-588)172363241 |4 aut | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-322-80103-6 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI | ||
| 912 | |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 940 | 1 | |q ZDB-2-STI_2000/2004 | |
| 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 | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027864193 | |
Datensatz im Suchindex
| DE-BY-TUM_katkey | 2071910 |
|---|---|
| _version_ | 1821931377794220033 |
| any_adam_object | |
| author | Eirund, Helmut 1959- Müller, Bernd 1962- Schreiber, Gerlinde 1959- |
| author_GND | (DE-588)121940101 (DE-588)122447433 (DE-588)172363241 |
| author_facet | Eirund, Helmut 1959- Müller, Bernd 1962- Schreiber, Gerlinde 1959- |
| author_role | aut aut aut |
| author_sort | Eirund, Helmut 1959- |
| author_variant | h e he b m bm g s gs |
| building | Verbundindex |
| bvnumber | BV042428862 |
| classification_tum | TEC 000 DAT 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)863815190 (DE-599)BVBBV042428862 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-322-80103-6 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03700nam a2200721zc 4500</leader><controlfield tag="001">BV042428862</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190320 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s2000 xx o|||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783322801036</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-322-80103-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783519026433</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-519-02643-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-322-80103-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863815190</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042428862</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-Aug4</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</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">Eirund, Helmut</subfield><subfield code="d">1959-</subfield><subfield code="0">(DE-588)121940101</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formale Beschreibungsverfahren der Informatik</subfield><subfield code="b">Ein Arbeitsbuch für die Praxis</subfield><subfield code="c">von Helmut Eirund, Bernd Müller, Gerlinde Schreiber</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg+Teubner Verlag</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (124S.)</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">Informatik & Praxis</subfield><subfield code="x">1615-8245</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Beschreibungsformalismen aus der theoretischen Informatik werden benutzt, um Systeme präzise zu beschreiben. Diese Formalismen werden in vielen Gebieten des praktischen Systementwurfs angewandt, z.B. bei der Spezifikation der Kommunikation zwischen Computern, der Beschreibung von Datenbanken oder der Feststellung von konkreten Bedienungsschritten in einem grafischen User Interface. Das Buch stellt die wichtigsten, grundlegenden Formalismen zusammen und kompensiert damit das in den sog. Bindestrich-Informatik-Studiengängen an Fachhochschulen typischerweise anzutreffende Defizit in diesem Bereich. Hervorgegangen aus Veranstaltungen dieser Studiengänge kann das Buch gut als vorlesungsbegleitendes Lehrwerk eingesetzt werden - gleichzeitig ist es auch für das Selbststudium geeignet</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering/Programming and Operating Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Beschreibungstechnik</subfield><subfield code="0">(DE-588)4351949-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Beschreibung</subfield><subfield code="0">(DE-588)4456576-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Formale Beschreibung</subfield><subfield code="0">(DE-588)4456576-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Formale Beschreibungstechnik</subfield><subfield code="0">(DE-588)4351949-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Müller, Bernd</subfield><subfield code="d">1962-</subfield><subfield code="0">(DE-588)122447433</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schreiber, Gerlinde</subfield><subfield code="d">1959-</subfield><subfield code="0">(DE-588)172363241</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-322-80103-6</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><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="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_2000/2004</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\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">4\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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027864193</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV042428862 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T17:10:57Z |
| institution | BVB |
| isbn | 9783322801036 9783519026433 |
| issn | 1615-8245 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027864193 |
| oclc_num | 863815190 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-Aug4 DE-860 DE-1046 DE-706 DE-703 DE-1028 DE-83 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-Aug4 DE-860 DE-1046 DE-706 DE-703 DE-1028 DE-83 |
| physical | 1 Online-Ressource (124S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive ZDB-2-STI_2000/2004 |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Vieweg+Teubner Verlag |
| record_format | marc |
| series2 | Informatik & Praxis |
| spellingShingle | Eirund, Helmut 1959- Müller, Bernd 1962- Schreiber, Gerlinde 1959- Formale Beschreibungsverfahren der Informatik Ein Arbeitsbuch für die Praxis Computer science Software engineering Information theory Computer Science Theory of Computation Software Engineering/Programming and Operating Systems Informatik Formale Methode (DE-588)4333722-3 gnd Informatik (DE-588)4026894-9 gnd Theoretische Informatik (DE-588)4196735-5 gnd Formale Beschreibungstechnik (DE-588)4351949-0 gnd Formale Beschreibung (DE-588)4456576-8 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4026894-9 (DE-588)4196735-5 (DE-588)4351949-0 (DE-588)4456576-8 (DE-588)4151278-9 |
| title | Formale Beschreibungsverfahren der Informatik Ein Arbeitsbuch für die Praxis |
| title_auth | Formale Beschreibungsverfahren der Informatik Ein Arbeitsbuch für die Praxis |
| title_exact_search | Formale Beschreibungsverfahren der Informatik Ein Arbeitsbuch für die Praxis |
| title_full | Formale Beschreibungsverfahren der Informatik Ein Arbeitsbuch für die Praxis von Helmut Eirund, Bernd Müller, Gerlinde Schreiber |
| title_fullStr | Formale Beschreibungsverfahren der Informatik Ein Arbeitsbuch für die Praxis von Helmut Eirund, Bernd Müller, Gerlinde Schreiber |
| title_full_unstemmed | Formale Beschreibungsverfahren der Informatik Ein Arbeitsbuch für die Praxis von Helmut Eirund, Bernd Müller, Gerlinde Schreiber |
| title_short | Formale Beschreibungsverfahren der Informatik |
| title_sort | formale beschreibungsverfahren der informatik ein arbeitsbuch fur die praxis |
| title_sub | Ein Arbeitsbuch für die Praxis |
| topic | Computer science Software engineering Information theory Computer Science Theory of Computation Software Engineering/Programming and Operating Systems Informatik Formale Methode (DE-588)4333722-3 gnd Informatik (DE-588)4026894-9 gnd Theoretische Informatik (DE-588)4196735-5 gnd Formale Beschreibungstechnik (DE-588)4351949-0 gnd Formale Beschreibung (DE-588)4456576-8 gnd |
| topic_facet | Computer science Software engineering Information theory Computer Science Theory of Computation Software Engineering/Programming and Operating Systems Informatik Formale Methode Theoretische Informatik Formale Beschreibungstechnik Formale Beschreibung Einführung |
| url | https://doi.org/10.1007/978-3-322-80103-6 |
| work_keys_str_mv | AT eirundhelmut formalebeschreibungsverfahrenderinformatikeinarbeitsbuchfurdiepraxis AT mullerbernd formalebeschreibungsverfahrenderinformatikeinarbeitsbuchfurdiepraxis AT schreibergerlinde formalebeschreibungsverfahrenderinformatikeinarbeitsbuchfurdiepraxis |