Bonsangue, Marcello M.
Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings / [electronic resource] : edited by Marcello M. Bonsangue, Einar Broch Johnsen. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4468 0302-9743 ; . - Lecture Notes in Computer Science, 4468 .
9783540729525
10.1007/978-3-540-72952-5 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 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings / [electronic resource] : edited by Marcello M. Bonsangue, Einar Broch Johnsen. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4468 0302-9743 ; . - Lecture Notes in Computer Science, 4468 .
9783540729525
10.1007/978-3-540-72952-5 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