Gorrieri, Roberto.
Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings / [electronic resource] : edited by Roberto Gorrieri, Heike Wehrheim. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 4037 0302-9743 ; . - Lecture Notes in Computer Science, 4037 .
9783540348955
10.1007/11768869 doi
Computer science.
Computer Communication Networks.
Software engineering.
Operating systems (Computers).
Logic design.
Computer Science.
Computer Communication Networks.
Programming Techniques.
Software Engineering.
Operating Systems.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
TK5105.5-5105.9
004.6
Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings / [electronic resource] : edited by Roberto Gorrieri, Heike Wehrheim. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 4037 0302-9743 ; . - Lecture Notes in Computer Science, 4037 .
9783540348955
10.1007/11768869 doi
Computer science.
Computer Communication Networks.
Software engineering.
Operating systems (Computers).
Logic design.
Computer Science.
Computer Communication Networks.
Programming Techniques.
Software Engineering.
Operating Systems.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
TK5105.5-5105.9
004.6