Formal Techniques for Networked and Distributed Systems - FORTE 2005
Subtitle: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: November 14, 2005
Language: eng
Format: Paperback
Number of pages: 558
ISBN-13: 9783540291893
Subjects: Computer Communications & Networking; Science; Networking - General; Computers - Communications / Networking; Science/Mathematics; Operating Systems - General; Programming - Software Development; Computers / Networking / General; Petri nets; UML; communication protocols; distributed computing; distributed systems; Earth Sciences - Geology; Database Management - General; Computer network protocols; Congresses; Distributed processing; Electronic data processing; Formal methods (Computer science)