Formal Techniques for Networked and Distributed Systems (IFIP International Federation for Information Processing)
Contributors: Myungchul Kim (Editor); Byoungmoon Chin (Editor); Sungwon Kang (Editor); Danhyung Lee (Editor)
Edition: 1 edition
Publisher: Springer
Published: August 31, 2001
Language: eng
Format: Hardcover
Number of pages: 472
ISBN-13: 9780792374701
Subjects: Computer Communications & Networking; Networking - General; Computers; Client-Server Computing - General; Distributed Computer Systems; Formal Language Theory; Medical / Nursing; Computer Books: General; General; Telecommunications; Computers / Computer Science; Computer Science
First sentence: The increasing range of specialized communication solutions, in particular in mobile communication [LangOl], will increase the importance of the deployment of automatically generated code in real-life protocol implementations.