SDL with applications from protocol specification:
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English German |
| Veröffentlicht: |
Hemel Hempstead
Prentice Hall International u.a.
1991
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | BCS practitioner series
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XI, 275 S. graph. Darst. |
| ISBN: | 0137858906 3446165053 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV006602422 | ||
| 003 | DE-604 | ||
| 005 | 20031006 | ||
| 007 | t | ||
| 008 | 930210s1991 d||| |||| 00||| eng d | ||
| 020 | |a 0137858906 |9 0-13-785890-6 | ||
| 020 | |a 3446165053 |9 3-446-16505-3 | ||
| 035 | |a (OCoLC)23971270 | ||
| 035 | |a (DE-599)BVBBV006602422 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 1 | |a eng |h ger | |
| 049 | |a DE-739 |a DE-29T |a DE-91 |a DE-473 | ||
| 050 | 0 | |a QA76.73.S35 | |
| 082 | 0 | |a 005.13/3 |2 20 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 084 | |a ST 268 |0 (DE-625)143636: |2 rvk | ||
| 084 | |a DAT 335f |2 stub | ||
| 100 | 1 | |a Belina, Ferenc |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a SDL with applications from protocol specification |c Ferenc Belina ; Dieter Hogrefe and Amardeo Sarma |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Hemel Hempstead |b Prentice Hall International u.a. |c 1991 | |
| 300 | |a XI, 275 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a BCS practitioner series | |
| 650 | 4 | |a Computer network protocols | |
| 650 | 4 | |a SDL (Computer program language) | |
| 650 | 0 | 7 | |a SDL |0 (DE-588)4180587-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a SDL |0 (DE-588)4180587-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Hogrefe, Dieter |d 1958- |e Verfasser |0 (DE-588)110576470 |4 aut | |
| 700 | 1 | |a Sarma, Amardeo |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004216955&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-004216955 | ||
Datensatz im Suchindex
| _version_ | 1804120876423053312 |
|---|---|
| adam_text | SDL WITH APPLICATIONS FROM PROTOCOL SPECIFICATION FERENC BEIINA TELESOFT
EUROPE AB, MALMOE DIETER HOGREFE UNIVERSITY OF BERNE AND AMARDEO SARMA
RESEARCH INSTITUTE OF THE DEUTSCHE BUNDESPOST, DARMSTADT WM TABLE OF
CONTENTS FOREWORD PREFACE CHAPTER 1 INTRODUCTION 1.1 APPLICATION AREA
1.2 THE BENEFITS OF A SPECIFICATION LANGUA 1.3 THE USE OF A
SPECIFICATION LANGUAGE 1.4 ABOUT THIS BOOK CHAPTER 2 OVERVIEW OF THE
LANGUAGE 2.1 SPECIFICATION, TYPE AND INSTANCE 2.2 SYSTEM INSTANCE
BEHAVIOUR 2.3 SYSTEM INSTANCE STRUCTURE 2.4 SYSTEM SPECIFICATION
STRUCTURE 2.5 ABSTRACT DATA TYPE 2.6 REPRESENTATION FORMS CHAPTER 3
BASIC SDL 3.1 HIERARCHICAL SPECIFICATIONS 3.2 SYSTEM SPECIFICATION 3.3
BLOCK SPECIFICATION 3.4 PROCESS SPECIFICATION 3.5 EXTENDED PROCESSES
(USING DATA) 3.6 PROCESS COMMUNICATION 3.7 CREATING AND TERMINATING
PROCESSES 3.8 OTHER SDL PROCESS CONCEPTS 3.9 COMMENT 3.10 SHORTHANDS
3.11 A COMPLETE SDL EXAMPLE CHAPTER 4 STRUCTURAL CONCEPTS 4.1 BLOCK
PARTITIONING 4.2 CHANNEL PARTITIONING 4.3 PROCEDURE 4.4 SERVICE 4.5
SIGNAL REFINEMENT CHAPTER 5 ADDITIONAL CONCEPTS 5.1 MACRO 5.2 OPTION VI
5.3 5.4 5.5 5.6 5.7 5.8 5.9 SIGNAL LIST DECLARATION LABEL AND JOIN
CONTINUOUS SIGNAL ENABLING CONDITION IMPORT/ EXPORT VIEWING VARIABLES
NONDETERMINISM CHAPTER 6 GENERAL LEXICAL AND SYNTAX RULES 6.1 6.2 6.3
DRAWING RULES LEXICAL RULES VISIBILITY AND NAMING RULES CHAPTER 7
ABSTRACT DATA TYPES 7.1 7.2 7.3 7.4 7.5 7.6 7.7 7.8 7.9 7.10 7.11 7.12
BASIC FEATURES PARTIAL TYPE SPECIFICATIONS CONDITIONAL EQUATIONS ERROR
INHERITANCE GENERATORS INFIX OPERATORS ORDERING NAME CLASS LITERAL
DEFAULT ASSIGNMENT PREDEFINED SORTS PREDEFINED GENERATORS CHAPTER 8
INTERPRETATION MODEL 8.1 8.2 8.3 INTERPRETATION OF A SYSTEM
SPECIFICATION INTERACTION WITH THE ENVIRONMENT DYNAMIC SEMANTICS CHAPTER
9 PROTOCOL SPECIFICATION WITH SDL 9.1 9.2 9.3 9.4 9.5 APPEND A.1 A.2 A.3
A.4 A.5 A.6 A.7 THE OSI BASIC REFERENCE MODEL BASIC APPROACH: THE
VERTICAL VIEW OF PROTOCOLS ALTERNATIVE APPROACH: THE HORIZONTAL VIEW OF
PROTOCOLS THE INRES SYSTEM GENERIC OSI SPECIFICATIONS [IX A SYNTAX
SUMMARY INTRODUCTION SYSTEM BLOCK PROCESS PROCEDURE BLOCK SUBSTRUCTURE
CHANNEL SUBSTRUCTURE 120 121 122 122 123 124 125 127 127 129 132 136 136
143 144 145 145 146 148 149 149 150 150 154 155 155 157 160 176 176 186
188 189 208 224 224 233 236 238 246 248 249 CONTENTS A.8 MACRO 250 A.9
OPTION 254 A.10 SERVICE 256 A.LL DATA - TEXTUAL SYNTAX 258 A.12 SYNTAX
INDEX 264 APPENDIX B SUMMARY OF GRAPHICAL SYMBOLS 269 BIBLIOGRAPHY 271
INDEX 273
|
| any_adam_object | 1 |
| author | Belina, Ferenc Hogrefe, Dieter 1958- Sarma, Amardeo |
| author_GND | (DE-588)110576470 |
| author_facet | Belina, Ferenc Hogrefe, Dieter 1958- Sarma, Amardeo |
| author_role | aut aut aut |
| author_sort | Belina, Ferenc |
| author_variant | f b fb d h dh a s as |
| building | Verbundindex |
| bvnumber | BV006602422 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.73.S35 |
| callnumber-search | QA76.73.S35 |
| callnumber-sort | QA 276.73 S35 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 230 ST 250 ST 268 |
| classification_tum | DAT 335f |
| ctrlnum | (OCoLC)23971270 (DE-599)BVBBV006602422 |
| dewey-full | 005.13/3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/3 |
| dewey-search | 005.13/3 |
| dewey-sort | 15.13 13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01712nam a2200457 c 4500</leader><controlfield tag="001">BV006602422</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20031006 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930210s1991 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0137858906</subfield><subfield code="9">0-13-785890-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3446165053</subfield><subfield code="9">3-446-16505-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)23971270</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006602422</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="1" ind2=" "><subfield code="a">eng</subfield><subfield code="h">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-473</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.73.S35</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/3</subfield><subfield code="2">20</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 250</subfield><subfield code="0">(DE-625)143626:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 268</subfield><subfield code="0">(DE-625)143636:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 335f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Belina, Ferenc</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">SDL with applications from protocol specification</subfield><subfield code="c">Ferenc Belina ; Dieter Hogrefe and Amardeo Sarma</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Hemel Hempstead</subfield><subfield code="b">Prentice Hall International u.a.</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 275 S.</subfield><subfield code="b">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">BCS practitioner series</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer network protocols</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">SDL (Computer program language)</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="689" ind1="0" ind2="0"><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="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hogrefe, Dieter</subfield><subfield code="d">1958-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)110576470</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sarma, Amardeo</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004216955&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-004216955</subfield></datafield></record></collection> |
| id | DE-604.BV006602422 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:49:03Z |
| institution | BVB |
| isbn | 0137858906 3446165053 |
| language | English German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004216955 |
| oclc_num | 23971270 |
| open_access_boolean | |
| owner | DE-739 DE-29T DE-91 DE-BY-TUM DE-473 DE-BY-UBG |
| owner_facet | DE-739 DE-29T DE-91 DE-BY-TUM DE-473 DE-BY-UBG |
| physical | XI, 275 S. graph. Darst. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Prentice Hall International u.a. |
| record_format | marc |
| series2 | BCS practitioner series |
| spelling | Belina, Ferenc Verfasser aut SDL with applications from protocol specification Ferenc Belina ; Dieter Hogrefe and Amardeo Sarma 1. publ. Hemel Hempstead Prentice Hall International u.a. 1991 XI, 275 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier BCS practitioner series Computer network protocols SDL (Computer program language) SDL (DE-588)4180587-2 gnd rswk-swf SDL (DE-588)4180587-2 s DE-604 Hogrefe, Dieter 1958- Verfasser (DE-588)110576470 aut Sarma, Amardeo Verfasser aut GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004216955&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Belina, Ferenc Hogrefe, Dieter 1958- Sarma, Amardeo SDL with applications from protocol specification Computer network protocols SDL (Computer program language) SDL (DE-588)4180587-2 gnd |
| subject_GND | (DE-588)4180587-2 |
| title | SDL with applications from protocol specification |
| title_auth | SDL with applications from protocol specification |
| title_exact_search | SDL with applications from protocol specification |
| title_full | SDL with applications from protocol specification Ferenc Belina ; Dieter Hogrefe and Amardeo Sarma |
| title_fullStr | SDL with applications from protocol specification Ferenc Belina ; Dieter Hogrefe and Amardeo Sarma |
| title_full_unstemmed | SDL with applications from protocol specification Ferenc Belina ; Dieter Hogrefe and Amardeo Sarma |
| title_short | SDL with applications from protocol specification |
| title_sort | sdl with applications from protocol specification |
| topic | Computer network protocols SDL (Computer program language) SDL (DE-588)4180587-2 gnd |
| topic_facet | Computer network protocols SDL (Computer program language) SDL |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004216955&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT belinaferenc sdlwithapplicationsfromprotocolspecification AT hogrefedieter sdlwithapplicationsfromprotocolspecification AT sarmaamardeo sdlwithapplicationsfromprotocolspecification |