Protocol engineering: A rule based approach
Autor Jürgen M. Schneiderde Limba Germană Paperback – 1992
Preț: 465.45 lei
Puncte Express: 698
Carte tipărită la comandă
Livrare economică 11-25 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783528052430
ISBN-10: 3528052430
Pagini: 272
Ilustrații: 249 S.
Dimensiuni: 148 x 210 x 14 mm
Greutate: 0.33 kg
Ediția:1992
Editura: Vieweg+Teubner Verlag
Colecția Vieweg+Teubner Verlag
Locul publicării:Wiesbaden, Germany
ISBN-10: 3528052430
Pagini: 272
Ilustrații: 249 S.
Dimensiuni: 148 x 210 x 14 mm
Greutate: 0.33 kg
Ediția:1992
Editura: Vieweg+Teubner Verlag
Colecția Vieweg+Teubner Verlag
Locul publicării:Wiesbaden, Germany
Public țintă
ResearchCuprins
1 Introduction.- 1.1 Overview.- 1.2 Communication Systems.- 1.3 Protocol Engineering.- 2 Protocol Specification with Formal Description Techniques.- 2.1 Informal Specification.- 2.2 Formal Description Techniques (FDTs).- 2.3 Comparative Assessment.- 3 Protocol Specification with Communicating Rule Systems.- 3.1 Extended Abstract Syntax Notation One (X-ASN.1).- 3.2 Communicating Rule Systems (CRS).- 3.3 Operational Semantics ot CRS.- 4 Protocol Engineering with Formal Description Techniques.- 4.1 Executable FDTs.- 4.2 Protocol Engineering Environments.- 5 Protocol Engineering with Communicating Rule Systems.- 5.1 Executable CRS.- 5.2 CRS Integrated Tools Environment.- 6 Conclusions.- 6.1 Summary of Results.- 6.2 Implementation Status and Early Experiences.- 6.3 Prospects and Future Work.- References.