Barthe, Gilles.
Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings / [electronic resource] : edited by Gilles Barthe, Frank S. Boer. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 5051 0302-9743 ; . - Lecture Notes in Computer Science, 5051 .
9783540688631
10.1007/978-3-540-68863-1 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 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings / [electronic resource] : edited by Gilles Barthe, Frank S. Boer. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 5051 0302-9743 ; . - Lecture Notes in Computer Science, 5051 .
9783540688631
10.1007/978-3-540-68863-1 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