Steffen, Martin.
Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings / [electronic resource] : edited by Martin Steffen, Gianluigi Zavattaro. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3535 0302-9743 ; . - Lecture Notes in Computer Science, 3535 .
9783540315568
10.1007/b136996 doi
Computer science.
Computer Communication Networks.
Software engineering.
Operating systems (Computers).
Logic design.
Computer Science.
Computer Communication Networks.
Programming Techniques.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Operating Systems.
Logics and Meanings of Programs.
TK5105.5-5105.9
004.6
Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings / [electronic resource] : edited by Martin Steffen, Gianluigi Zavattaro. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3535 0302-9743 ; . - Lecture Notes in Computer Science, 3535 .
9783540315568
10.1007/b136996 doi
Computer science.
Computer Communication Networks.
Software engineering.
Operating systems (Computers).
Logic design.
Computer Science.
Computer Communication Networks.
Programming Techniques.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Operating Systems.
Logics and Meanings of Programs.
TK5105.5-5105.9
004.6