Protocol engineering: A rule based approach (Vieweg Advanced Studies in Computer Science) (German Edition)
6 Angebote vergleichen
Preise | 2013 | 2014 | 2015 | 2016 | 2019 |
---|---|---|---|---|---|
Schnitt | € 45,13 | € 66,07 | € 67,12 | € 63,71 | € 54,99 |
Nachfrage |
1
Symbolbild
Protocol engineering (1992)
DE PB NW RP
ISBN: 9783528052430 bzw. 3528052430, in Deutsch, Vieweg, Braunschweig/Wiesbaden, Deutschland, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, NDS, Germany.
This item is printed on demand - Print on Demand Titel. Neuware - 1 Introduction.- 1.1 Overview.- 1.2 Communication Systems.- 1.2.1 Structuring Principles.- 1.2.2 Architectural Concepts.- 1.3 Protocol Engineering.- 1.3.1 Life-cycle.- 1.3.2 Tool Support.- 2 Protocol Specification with Formal Description Techniques.- 2.1 Informal Specification.- 2.2 Formal Description Techniques (FDTs).- 2.2.1 Estelle and SDL.- 2.2.2 Numerical Petri Nets.- 2.2.3 LOTOS.- 2.2.4 Z.- 2.3 Comparative Assessment.- 3 Protocol Specification with Communicating Rule Systems.- 3.1 Extended Abstract Syntax Notation One (X-ASN.1).- 3.1.1 Type Definition and Operations.- 3.1.2 Type Equivalence.- 3.1.3 Encoding Rules.- 3.2 Communicating Rule Systems (CRS).- 3.2.1 Rule Systems.- 3.2.2 Gates.- 3.2.3 Structuring Mechanisms.- 3.2.4 Abstract Data Types.- 3.2.5 Assessment.- 3.3 Operational Semantics ot CRS.- 3.3.1 Labelled Transition Systems (LTSs).- 3.3.2 Basic and Communicating Rule Systems.- 3.3.3 Interleaving Semantics.- 4 Protocol Engineering with Formal Description Techniques.- 4.1 Executable FDTs.- 4.1.1 Estelle, SDL, and PASS.- 4.1.2 Petri Nets.- 4.1.3 LOTOS.- 4.1.4 Logic interpreters.- 4.2 Protocol Engineering Environments.- 4.2.1 Validation environments.- 4.2.2 Implementation environments.- 4.2.3 Testing environments.- 4.2.4 Integrated environments.- 5 Protocol Engineering with Communicating Rule Systems.- 5.1 Executable CRS.- 5.1.1 Implementation Concepts.- 5.1.2 Runtime Environment.- 5.1.3 Compilation.- 5.2 CRS Integrated Tools Environment.- 5.2.1 Architecture.- 5.2.2 Kernel.- 5.2.3 Shells.- 5.2.4 Selected Application Tools.- 6 Conclusions.- 6.1 Summary of Results.- 6.2 Implementation Status and Early Experiences.- 6.3 Prospects and Future Work.- References. 272 pp. Deutsch.
This item is printed on demand - Print on Demand Titel. Neuware - 1 Introduction.- 1.1 Overview.- 1.2 Communication Systems.- 1.2.1 Structuring Principles.- 1.2.2 Architectural Concepts.- 1.3 Protocol Engineering.- 1.3.1 Life-cycle.- 1.3.2 Tool Support.- 2 Protocol Specification with Formal Description Techniques.- 2.1 Informal Specification.- 2.2 Formal Description Techniques (FDTs).- 2.2.1 Estelle and SDL.- 2.2.2 Numerical Petri Nets.- 2.2.3 LOTOS.- 2.2.4 Z.- 2.3 Comparative Assessment.- 3 Protocol Specification with Communicating Rule Systems.- 3.1 Extended Abstract Syntax Notation One (X-ASN.1).- 3.1.1 Type Definition and Operations.- 3.1.2 Type Equivalence.- 3.1.3 Encoding Rules.- 3.2 Communicating Rule Systems (CRS).- 3.2.1 Rule Systems.- 3.2.2 Gates.- 3.2.3 Structuring Mechanisms.- 3.2.4 Abstract Data Types.- 3.2.5 Assessment.- 3.3 Operational Semantics ot CRS.- 3.3.1 Labelled Transition Systems (LTSs).- 3.3.2 Basic and Communicating Rule Systems.- 3.3.3 Interleaving Semantics.- 4 Protocol Engineering with Formal Description Techniques.- 4.1 Executable FDTs.- 4.1.1 Estelle, SDL, and PASS.- 4.1.2 Petri Nets.- 4.1.3 LOTOS.- 4.1.4 Logic interpreters.- 4.2 Protocol Engineering Environments.- 4.2.1 Validation environments.- 4.2.2 Implementation environments.- 4.2.3 Testing environments.- 4.2.4 Integrated environments.- 5 Protocol Engineering with Communicating Rule Systems.- 5.1 Executable CRS.- 5.1.1 Implementation Concepts.- 5.1.2 Runtime Environment.- 5.1.3 Compilation.- 5.2 CRS Integrated Tools Environment.- 5.2.1 Architecture.- 5.2.2 Kernel.- 5.2.3 Shells.- 5.2.4 Selected Application Tools.- 6 Conclusions.- 6.1 Summary of Results.- 6.2 Implementation Status and Early Experiences.- 6.3 Prospects and Future Work.- References. 272 pp. Deutsch.
2
Symbolbild
Protocol engineering (1992)
DE PB NW
ISBN: 9783528052430 bzw. 3528052430, in Deutsch, Vieweg+Teubner Verlag, Taschenbuch, neu.
Lieferung aus: Schweiz, Versandfertig innert 3 - 5 Werktagen.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
3
Symbolbild
Protocol engineering. A rule based approach (1992)
DE PB US
ISBN: 9783528052430 bzw. 3528052430, in Deutsch, Vieweg+Teubner Verlag, Taschenbuch, gebraucht.
Von Händler/Antiquariat, Herb Tandree Philosophy Books [17426], Stroud, United Kingdom.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
4
| Protocol engineering | Vieweg+Teubner | 1992
~DE NW
ISBN: 9783528052430 bzw. 3528052430, vermutlich in Deutsch, Vieweg+Teubner Verlag, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Symbolbild
Protocol Engineering: A Rule Based Approach (Paperback)
DE PB NW
ISBN: 9783528052430 bzw. 3528052430, in Deutsch, Vieweg, Braunschweig/Wiesbaden, Deutschland, Taschenbuch, neu.
Von Händler/Antiquariat, Citi Retail [9235530], Lowfield Heath, United Kingdom.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…