Lee, David.
Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings / [electronic resource] : edited by David Lee, Antónia Lopes, Arnd Poetzsch-Heffter. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5522 0302-9743 ; . - Lecture Notes in Computer Science, 5522 .
9783642021381
10.1007/978-3-642-02138-1 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Computer Science.
Computer Communication Networks.
Programming Techniques.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
TK5105.5-5105.9
004.6
Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings / [electronic resource] : edited by David Lee, Antónia Lopes, Arnd Poetzsch-Heffter. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5522 0302-9743 ; . - Lecture Notes in Computer Science, 5522 .
9783642021381
10.1007/978-3-642-02138-1 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Computer Science.
Computer Communication Networks.
Programming Techniques.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
TK5105.5-5105.9
004.6