Wang, Farn.
Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings / [electronic resource] : edited by Farn Wang. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3731 0302-9743 ; . - Lecture Notes in Computer Science, 3731 .
9783540320845
10.1007/11562436 doi
Computer science.
Computer Communication Networks.
Software engineering.
Operating systems (Computers).
Logic design.
Computer Science.
Computer Communication Networks.
Software Engineering.
Logics and Meanings of Programs.
Operating Systems.
TK5105.5-5105.9
004.6
Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings / [electronic resource] : edited by Farn Wang. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3731 0302-9743 ; . - Lecture Notes in Computer Science, 3731 .
9783540320845
10.1007/11562436 doi
Computer science.
Computer Communication Networks.
Software engineering.
Operating systems (Computers).
Logic design.
Computer Science.
Computer Communication Networks.
Software Engineering.
Logics and Meanings of Programs.
Operating Systems.
TK5105.5-5105.9
004.6