Formal Techniques for Distributed Systems
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 / edited by Roberto Bruni, Juergen Dingel. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642214615
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.
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 / edited by Roberto Bruni, Juergen Dingel. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783642214615
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.