0
Your cart

Your cart is empty

Books > Computing & IT > Internet > Network computers

Buy Now

Protocol Engineering (Hardcover, 2012 ed.) Loot Price: R2,484
Discovery Miles 24 840
Protocol Engineering (Hardcover, 2012 ed.): Hartmut Koenig

Protocol Engineering (Hardcover, 2012 ed.)

Hartmut Koenig

 (sign in to rate)
Loot Price R2,484 Discovery Miles 24 840 | Repayment Terms: R233 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

Communication protocols form the operational basis of computer networks and tele communication systems. They are behavior conventions that describe how com munication systems inter act with each other, defining the temporal order of the interactions and the formats of the data units exchanged - essentially they determine the efficiency and reliability of computer networks. Protocol Engineering is an important discipline covering the design, validation, and implementation of communication protocols. Part I of this book is devoted to the fundamentals of communication protocols, describing their working principles and implicitly also those of computer networks. The author introduces the concepts of service, protocol, layer, and layered architecture, and introduces the main elements required in the description of protocols using a model language. He then presents the most important protocol functions. Part II deals with the description of communication proto cols, offering an overview of the various formal methods, the essence of Protocol Engineering. The author introduces the fundamental description methods, such as finite state machines, Petri nets, process calculi, and temporal logics, that are in part used as semantic models for formal description techniques. He then introduces one represen tative technique for each of the main description approaches, among others SDL and LOTOS, and surveys the use of UML for describing protocols. Part III covers the protocol life cycle and the most important development stages, presenting the reader with approaches for systematic protocol design, with various verification methods, with the main implementation techniques, and with strategies for their testing, in particular with conformance and interoperability tests, and the test description language TTCN. The author uses the simple data transfer example protocol XDT (eXample Data Transfer) throughout the book as a reference protocol to exemplify the various description techniques and to demonstrate important validation and implementation approaches. The book is an introduction to communication protocols and their development for undergraduate and graduate students of computer science and communication technology, and it is also a suitable reference for engineers and programmers. Most chapters contain exercises, and the author's accompanying website provides further online material including a complete formal description of the XDT protocol and an animated simulation visualizing its behavior.

General

Imprint: Springer-Verlag
Country of origin: Germany
Release date: October 2012
First published: 2012
Authors: Hartmut Koenig
Dimensions: 235 x 155 x 34mm (L x W x T)
Format: Hardcover
Pages: 528
Edition: 2012 ed.
ISBN-13: 978-3-642-29144-9
Categories: Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Internet > Network computers
Promotions
LSN: 3-642-29144-9
Barcode: 9783642291449

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Peering Carrier Ethernet Networks
Sachidananda Kangovi Paperback R1,572 Discovery Miles 15 720
Cyber-Physical Systems - Foundations…
Houbing Song, Danda B. Rawat, … Paperback R2,667 R2,514 Discovery Miles 25 140
Computational Intelligence in Data…
Vallidevi Krishnamurthy, Suresh Jaganathan, … Hardcover R2,640 Discovery Miles 26 400
Privacy-Preserving in Edge Computing
Longxiang Gao, Tom H. Luan, … Hardcover R4,233 Discovery Miles 42 330
Reconfigurable Intelligent…
Hongliang Zhang, Boya Di, … Hardcover R4,928 Discovery Miles 49 280
5G and Beyond - Fundamentals and…
Xingqin Lin, Namyoon Lee Hardcover R4,960 Discovery Miles 49 600
Computer Networking - An All-in-One…
Quinn Kiser Hardcover R722 R638 Discovery Miles 6 380
Research Trends in Graph Theory and…
Daniela Ferrero, Leslie Hogben, … Hardcover R3,543 Discovery Miles 35 430
Machine Learning, Deep Learning and…
E.S. Gopi Hardcover R6,452 Discovery Miles 64 520
Big Data in Emergency Management…
Rajendra Akerkar Hardcover R4,578 Discovery Miles 45 780
Algorithms for Data and Computation…
Alex X. Liu, Rui Li Hardcover R3,916 Discovery Miles 39 160
Handbook of Integration of Cloud…
Rajiv Ranjan, Karan Mitra, … Hardcover R6,309 Discovery Miles 63 090

See more

Partners