Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Wang, Farn (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Series: Lecture Notes in Computer Science, 3731
• Subjects: Computer science.; Computer communication systems.; Software engineering.; Operating systems (Computers).; Computer logic.; Computer Science.; Computer Communication Networks.; Software Engineering.; Logics and Meanings of Programs.; Operating Systems.