Synopsis
The increasing number of computer networks has aroused users' interest in many and various fields of applications, in how a computer network can be built, and in how it may be used. The fundamental rules of computer networks are the protocols. "A protocol is a set of rules that governs the operation of functional units to achieve communication" [STA-86}. The book follows a practical approach to protocol speci fication and testing, but at the same time it introduces clearly and precisely the relevant theoretical fundamentals. The principal objectives of this work are: to familiarize readers with communication protocols, to present the main, formal description techniques, to apply various formal description techniques to protocol specification and testing. It is considered that the readership will primarily consist of protocol developers, protocol users, and all who utilize protocol testers. Secondly the book is suggested for postgraduate courses or other university courses dealing with communication networks and data communication. A large part of the book provides a comprehensive overview for managers; some parts are of especial interest to postal organizations. The book consists of three parts: the first part introduces the OS! Reference Model, it provides an overview of the most frequently used protocols and explains the fundamentals of protocol testing. The second part familiarizes readers with the methods used for protocol 5pecification, generation, and testing. Finite-state machines, formal grammars, Petri nets and some speCification languages (SDL, ESTELLE, LOTOS) are discussed in a pragmatic style. The third part deals with applications.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Protocol Specification and Testing
Stock Image
Protocol Specification and Testing (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 4 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # DN2LYU7KS9
Buy New
£ 76.97
£ 5.89 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Seller Image
Protocol Specification and Testing
Print on DemandSeller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The increasing number of computer networks has aroused users' interest in many and various fields of applications, in how a computer network can be built, and in how it may be used. The fundamental rules of computer networks are the protocols. 'A protocol is a set of rules that governs the operation of functional units to achieve communication' [STA-86}. The book follows a practical approach to protocol speci fication and testing, but at the same time it introduces clearly and precisely the relevant theoretical fundamentals. The principal objectives of this work are: to familiarize readers with communication protocols, to present the main, formal description techniques, to apply various formal description techniques to protocol specification and testing. It is considered that the readership will primarily consist of protocol developers, protocol users, and all who utilize protocol testers. Secondly the book is suggested for postgraduate courses or other university courses dealing with communication networks and data communication. A large part of the book provides a comprehensive overview for managers; some parts are of especial interest to postal organizations. The book consists of three parts: the first part introduces the OS! Reference Model, it provides an overview of the most frequently used protocols and explains the fundamentals of protocol testing. The second part familiarizes readers with the methods used for protocol 5pecification, generation, and testing. Finite-state machines, formal grammars, Petri nets and some speCification languages (SDL, ESTELLE, LOTOS) are discussed in a pragmatic style. The third part deals with applications. 396 pp. Englisch. Seller Inventory # 9781468457803
Stock Image
Protocol Specification and Testing
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9781468457803_new
Buy New
£ 96.15
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Protocol Specification and Testing
Print on DemandSeller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The increasing number of computer networks has aroused users interest in many and various fields of applications, in how a computer network can be built, and in how it may be used. The fundamental rules of computer networks are the protocols. A protocol i. Seller Inventory # 4204309
Buy New
£ 82.35
£ 42.45 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Protocol Specification and Testing
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 396. Seller Inventory # 2697860346
Stock Image
Protocol Specification and Testing
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 396 25:B&W 5.83 x 8.27 in or 210 x 148 mm (A5) Perfect Bound on White w/Gloss Lam. Seller Inventory # 94536997
Buy New
£ 128.33
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Protocol Specification and Testing
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 396. Seller Inventory # 1897860336
Seller Image
Protocol Specification and Testing
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Protocol Specification and Testing | Katalin Tarnay | Taschenbuch | 392 S. | Englisch | 2012 | Springer | EAN 9781468457803 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 105627833
Seller Image
Protocol Specification and Testing
Published by
Springer, Springer Mär 2012, 2012
ISBN 10: 1468457802
ISBN 13: 9781468457803
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The increasing number of computer networks has aroused users' interest in many and various fields of applications, in how a computer network can be built, and in how it may be used. The fundamental rules of computer networks are the protocols. 'A protocol is a set of rules that governs the operation of functional units to achieve communication' [STA-86}. The book follows a practical approach to protocol speci fication and testing, but at the same time it introduces clearly and precisely the relevant theoretical fundamentals. The principal objectives of this work are: to familiarize readers with communication protocols, to present the main, formal description techniques, to apply various formal description techniques to protocol specification and testing. It is considered that the readership will primarily consist of protocol developers, protocol users, and all who utilize protocol testers. Secondly the book is suggested for postgraduate courses or other university courses dealing with communication networks and data communication. A large part of the book provides a comprehensive overview for managers; some parts are of especial interest to postal organizations. The book consists of three parts: the first part introduces the OS! Reference Model, it provides an overview of the most frequently used protocols and explains the fundamentals of protocol testing. The second part familiarizes readers with the methods used for protocol 5pecification, generation, and testing. Finite-state machines, formal grammars, Petri nets and some speCification languages (SDL, ESTELLE, LOTOS) are discussed in a pragmatic style. The third part deals with applications.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 396 pp. Englisch. Seller Inventory # 9781468457803
Seller Image
Protocol Specification and Testing
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The increasing number of computer networks has aroused users' interest in many and various fields of applications, in how a computer network can be built, and in how it may be used. The fundamental rules of computer networks are the protocols. 'A protocol is a set of rules that governs the operation of functional units to achieve communication' [STA-86}. The book follows a practical approach to protocol speci fication and testing, but at the same time it introduces clearly and precisely the relevant theoretical fundamentals. The principal objectives of this work are: to familiarize readers with communication protocols, to present the main, formal description techniques, to apply various formal description techniques to protocol specification and testing. It is considered that the readership will primarily consist of protocol developers, protocol users, and all who utilize protocol testers. Secondly the book is suggested for postgraduate courses or other university courses dealing with communication networks and data communication. A large part of the book provides a comprehensive overview for managers; some parts are of especial interest to postal organizations. The book consists of three parts: the first part introduces the OS! Reference Model, it provides an overview of the most frequently used protocols and explains the fundamentals of protocol testing. The second part familiarizes readers with the methods used for protocol 5pecification, generation, and testing. Finite-state machines, formal grammars, Petri nets and some speCification languages (SDL, ESTELLE, LOTOS) are discussed in a pragmatic style. The third part deals with applications. Seller Inventory # 9781468457803