Estelle, LOTOS und SDL: Standard-Spezifikationssprachen für verteilte Systeme
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1989
|
| Schriftenreihe: | Springer Compass
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Das Buch gibt eine Einführung in die Spezifikationssprachen Estelle, LOTOS und SDL. Die Sprachen sind Standardsprachen der ISO (Estelle, LOTOS) und des CCITT (SDL) zur Spezifikation von Diensten und Protokollen in Kommunikationssystemen. Insbesondere im Zusammenhang mit der Idee und den Konzepten von OSI (Open Systems Interconnection) gewinnen die drei Sprachen zunehmend an Bedeutung - innerhalb und außerhalb der Normung. Das Buch stellt die drei Sprachen weitgehend anhand von durchgängigen Beispielen vor, bei denen es sich um Dienste und Protokolle handelt, die den OSI-Konzepten folgen. Das Besondere an dem Buch ist, daß durch die Verwendung identischer Beispiele die drei Sprachen direkt miteinander vergleichbar werden. Obwohl Estelle, LOTOS und SDL formale Sprachen sind, wird weitgehend auf Formalismen verzichtet, so daß die Darstellung allgemein und leicht verständlich ist. Das Buch bildet daher ein sehr nützliches Komplement zu den offiziellen Dokumenten und Sprachbeschreibungen der ISO und des CCITT. Das Ziel des Buches ist, dem Leser einen Einblick in die drei Sprachen zu geben und als leicht verständliches und kompaktes Nachschlagewerk in der täglichen Arbeit zu dienen |
| Beschreibung: | 1 Online-Ressource (XV, 188S. 71 Abb) |
| ISBN: | 9783642742385 9783642742392 |
| ISSN: | 1431-7877 |
| DOI: | 10.1007/978-3-642-74238-5 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042433043 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1989 |||| o||u| ||||||ger d | ||
| 020 | |a 9783642742385 |c Online |9 978-3-642-74238-5 | ||
| 020 | |a 9783642742392 |c Print |9 978-3-642-74239-2 | ||
| 024 | 7 | |a 10.1007/978-3-642-74238-5 |2 doi | |
| 035 | |a (OCoLC)863807267 | ||
| 035 | |a (DE-599)BVBBV042433043 | ||
| 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 004.6 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a TEC 000 |2 stub | ||
| 100 | 1 | |a Hogrefe, Dieter |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Estelle, LOTOS und SDL |b Standard-Spezifikationssprachen für verteilte Systeme |c von Dieter Hogrefe |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1989 | |
| 300 | |a 1 Online-Ressource (XV, 188S. 71 Abb) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Springer Compass |x 1431-7877 | |
| 500 | |a Das Buch gibt eine Einführung in die Spezifikationssprachen Estelle, LOTOS und SDL. Die Sprachen sind Standardsprachen der ISO (Estelle, LOTOS) und des CCITT (SDL) zur Spezifikation von Diensten und Protokollen in Kommunikationssystemen. Insbesondere im Zusammenhang mit der Idee und den Konzepten von OSI (Open Systems Interconnection) gewinnen die drei Sprachen zunehmend an Bedeutung - innerhalb und außerhalb der Normung. Das Buch stellt die drei Sprachen weitgehend anhand von durchgängigen Beispielen vor, bei denen es sich um Dienste und Protokolle handelt, die den OSI-Konzepten folgen. Das Besondere an dem Buch ist, daß durch die Verwendung identischer Beispiele die drei Sprachen direkt miteinander vergleichbar werden. Obwohl Estelle, LOTOS und SDL formale Sprachen sind, wird weitgehend auf Formalismen verzichtet, so daß die Darstellung allgemein und leicht verständlich ist. Das Buch bildet daher ein sehr nützliches Komplement zu den offiziellen Dokumenten und Sprachbeschreibungen der ISO und des CCITT. Das Ziel des Buches ist, dem Leser einen Einblick in die drei Sprachen zu geben und als leicht verständliches und kompaktes Nachschlagewerk in der täglichen Arbeit zu dienen | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer Communication Networks | |
| 650 | 4 | |a Physics | |
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Telecommunication | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Communications Engineering, Networks | |
| 650 | 4 | |a Complexity | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 650 | 0 | 7 | |a ESTELLE |0 (DE-588)4208201-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a SDL |0 (DE-588)4180587-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a LOTOS |g Programmiersprache |0 (DE-588)4208203-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a ESTELLE |0 (DE-588)4208201-8 |D s |
| 689 | 0 | 1 | |a LOTOS |g Programmiersprache |0 (DE-588)4208203-1 |D s |
| 689 | 0 | 2 | |a SDL |0 (DE-588)4180587-2 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-74238-5 |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-027868374 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153117937238016 |
|---|---|
| any_adam_object | |
| author | Hogrefe, Dieter |
| author_facet | Hogrefe, Dieter |
| author_role | aut |
| author_sort | Hogrefe, Dieter |
| author_variant | d h dh |
| building | Verbundindex |
| bvnumber | BV042433043 |
| classification_tum | DAT 000 TEC 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)863807267 (DE-599)BVBBV042433043 |
| dewey-full | 004.6 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.6 |
| dewey-search | 004.6 |
| dewey-sort | 14.6 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-642-74238-5 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03326nmm a2200601zc 4500</leader><controlfield tag="001">BV042433043</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</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">9783642742385</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-74238-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642742392</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-642-74239-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-74238-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863807267</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042433043</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">004.6</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hogrefe, Dieter</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Estelle, LOTOS und SDL</subfield><subfield code="b">Standard-Spezifikationssprachen für verteilte Systeme</subfield><subfield code="c">von Dieter Hogrefe</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XV, 188S. 71 Abb)</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">Springer Compass</subfield><subfield code="x">1431-7877</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Das Buch gibt eine Einführung in die Spezifikationssprachen Estelle, LOTOS und SDL. Die Sprachen sind Standardsprachen der ISO (Estelle, LOTOS) und des CCITT (SDL) zur Spezifikation von Diensten und Protokollen in Kommunikationssystemen. Insbesondere im Zusammenhang mit der Idee und den Konzepten von OSI (Open Systems Interconnection) gewinnen die drei Sprachen zunehmend an Bedeutung - innerhalb und außerhalb der Normung. Das Buch stellt die drei Sprachen weitgehend anhand von durchgängigen Beispielen vor, bei denen es sich um Dienste und Protokolle handelt, die den OSI-Konzepten folgen. Das Besondere an dem Buch ist, daß durch die Verwendung identischer Beispiele die drei Sprachen direkt miteinander vergleichbar werden. Obwohl Estelle, LOTOS und SDL formale Sprachen sind, wird weitgehend auf Formalismen verzichtet, so daß die Darstellung allgemein und leicht verständlich ist. Das Buch bildet daher ein sehr nützliches Komplement zu den offiziellen Dokumenten und Sprachbeschreibungen der ISO und des CCITT. Das Ziel des Buches ist, dem Leser einen Einblick in die drei Sprachen zu geben und als leicht verständliches und kompaktes Nachschlagewerk in der täglichen Arbeit zu dienen</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Physics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Telecommunication</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Communications Engineering, Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">ESTELLE</subfield><subfield code="0">(DE-588)4208201-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">SDL</subfield><subfield code="0">(DE-588)4180587-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">LOTOS</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4208203-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">ESTELLE</subfield><subfield code="0">(DE-588)4208201-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">LOTOS</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4208203-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">SDL</subfield><subfield code="0">(DE-588)4180587-2</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="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-74238-5</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-027868374</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.BV042433043 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:31Z |
| institution | BVB |
| isbn | 9783642742385 9783642742392 |
| issn | 1431-7877 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027868374 |
| oclc_num | 863807267 |
| 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 (XV, 188S. 71 Abb) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series2 | Springer Compass |
| spelling | Hogrefe, Dieter Verfasser aut Estelle, LOTOS und SDL Standard-Spezifikationssprachen für verteilte Systeme von Dieter Hogrefe Berlin, Heidelberg Springer Berlin Heidelberg 1989 1 Online-Ressource (XV, 188S. 71 Abb) txt rdacontent c rdamedia cr rdacarrier Springer Compass 1431-7877 Das Buch gibt eine Einführung in die Spezifikationssprachen Estelle, LOTOS und SDL. Die Sprachen sind Standardsprachen der ISO (Estelle, LOTOS) und des CCITT (SDL) zur Spezifikation von Diensten und Protokollen in Kommunikationssystemen. Insbesondere im Zusammenhang mit der Idee und den Konzepten von OSI (Open Systems Interconnection) gewinnen die drei Sprachen zunehmend an Bedeutung - innerhalb und außerhalb der Normung. Das Buch stellt die drei Sprachen weitgehend anhand von durchgängigen Beispielen vor, bei denen es sich um Dienste und Protokolle handelt, die den OSI-Konzepten folgen. Das Besondere an dem Buch ist, daß durch die Verwendung identischer Beispiele die drei Sprachen direkt miteinander vergleichbar werden. Obwohl Estelle, LOTOS und SDL formale Sprachen sind, wird weitgehend auf Formalismen verzichtet, so daß die Darstellung allgemein und leicht verständlich ist. Das Buch bildet daher ein sehr nützliches Komplement zu den offiziellen Dokumenten und Sprachbeschreibungen der ISO und des CCITT. Das Ziel des Buches ist, dem Leser einen Einblick in die drei Sprachen zu geben und als leicht verständliches und kompaktes Nachschlagewerk in der täglichen Arbeit zu dienen Computer science Computer Communication Networks Physics Engineering Telecommunication Computer Science Programming Languages, Compilers, Interpreters Communications Engineering, Networks Complexity Informatik Ingenieurwissenschaften ESTELLE (DE-588)4208201-8 gnd rswk-swf SDL (DE-588)4180587-2 gnd rswk-swf LOTOS Programmiersprache (DE-588)4208203-1 gnd rswk-swf ESTELLE (DE-588)4208201-8 s LOTOS Programmiersprache (DE-588)4208203-1 s SDL (DE-588)4180587-2 s 1\p DE-604 https://doi.org/10.1007/978-3-642-74238-5 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Hogrefe, Dieter Estelle, LOTOS und SDL Standard-Spezifikationssprachen für verteilte Systeme Computer science Computer Communication Networks Physics Engineering Telecommunication Computer Science Programming Languages, Compilers, Interpreters Communications Engineering, Networks Complexity Informatik Ingenieurwissenschaften ESTELLE (DE-588)4208201-8 gnd SDL (DE-588)4180587-2 gnd LOTOS Programmiersprache (DE-588)4208203-1 gnd |
| subject_GND | (DE-588)4208201-8 (DE-588)4180587-2 (DE-588)4208203-1 |
| title | Estelle, LOTOS und SDL Standard-Spezifikationssprachen für verteilte Systeme |
| title_auth | Estelle, LOTOS und SDL Standard-Spezifikationssprachen für verteilte Systeme |
| title_exact_search | Estelle, LOTOS und SDL Standard-Spezifikationssprachen für verteilte Systeme |
| title_full | Estelle, LOTOS und SDL Standard-Spezifikationssprachen für verteilte Systeme von Dieter Hogrefe |
| title_fullStr | Estelle, LOTOS und SDL Standard-Spezifikationssprachen für verteilte Systeme von Dieter Hogrefe |
| title_full_unstemmed | Estelle, LOTOS und SDL Standard-Spezifikationssprachen für verteilte Systeme von Dieter Hogrefe |
| title_short | Estelle, LOTOS und SDL |
| title_sort | estelle lotos und sdl standard spezifikationssprachen fur verteilte systeme |
| title_sub | Standard-Spezifikationssprachen für verteilte Systeme |
| topic | Computer science Computer Communication Networks Physics Engineering Telecommunication Computer Science Programming Languages, Compilers, Interpreters Communications Engineering, Networks Complexity Informatik Ingenieurwissenschaften ESTELLE (DE-588)4208201-8 gnd SDL (DE-588)4180587-2 gnd LOTOS Programmiersprache (DE-588)4208203-1 gnd |
| topic_facet | Computer science Computer Communication Networks Physics Engineering Telecommunication Computer Science Programming Languages, Compilers, Interpreters Communications Engineering, Networks Complexity Informatik Ingenieurwissenschaften ESTELLE SDL LOTOS Programmiersprache |
| url | https://doi.org/10.1007/978-3-642-74238-5 |
| work_keys_str_mv | AT hogrefedieter estellelotosundsdlstandardspezifikationssprachenfurverteiltesysteme |