Formal Techniques for Networked and Distributed Systems - FORTE 2003
Subtitle: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 (Lecture Notes in Computer Science)
Contributors: Hartmut König (Editor); Monika Heiner (Editor); Adam Wolisz (Editor)
Edition: 1 edition
Publisher: Springer
Published: November 13, 2003
Language: eng
Format: Paperback
Number of pages: 431
ISBN-13: 9783540201755
Subjects: Computer Communications & Networking; Machine Theory; Congresses; Operating Systems - General; Computer Books: General; Computers; Computers - Communications / Networking; Formal methods (Computer science); Formal methods (Computer scien; Distributed processing; Computers / Networking / General; Programming - Software Development; Computer Bks - Communications / Networking; Networking - General; Computer network protocols; Electronic data processing
First sentence: Using formal description techniques in engineering of telecommunication protocol is common.