Suzuki, Kenji.
Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings / [electronic resource] : edited by Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 5048 0302-9743 ; . - Lecture Notes in Computer Science, 5048 .
9783540688556
10.1007/978-3-540-68855-6 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 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings / [electronic resource] : edited by Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 5048 0302-9743 ; . - Lecture Notes in Computer Science, 5048 .
9783540688556
10.1007/978-3-540-68855-6 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