Bruni, Roberto.
Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings / [electronic resource] : edited by Roberto Bruni, Juergen Dingel. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6722 0302-9743 ; . - Lecture Notes in Computer Science, 6722 .
9783642214615
10.1007/978-3-642-21461-5 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 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings / [electronic resource] : edited by Roberto Bruni, Juergen Dingel. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6722 0302-9743 ; . - Lecture Notes in Computer Science, 6722 .
9783642214615
10.1007/978-3-642-21461-5 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