Derrick, John.
Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings / [electronic resource] : edited by John Derrick, Jüri Vain. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4574 0302-9743 ; . - Lecture Notes in Computer Science, 4574 .
9783540731962
10.1007/978-3-540-73196-2 doi
Computer science.
Computer Communication Networks.
Software engineering.
Operating systems (Computers).
Logic design.
Computer Science.
Computer Communication Networks.
Software Engineering.
Logics and Meanings of Programs.
Operating Systems.
TK5105.5-5105.9
004.6
Formal Techniques for Networked and Distributed Systems – FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings / [electronic resource] : edited by John Derrick, Jüri Vain. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4574 0302-9743 ; . - Lecture Notes in Computer Science, 4574 .
9783540731962
10.1007/978-3-540-73196-2 doi
Computer science.
Computer Communication Networks.
Software engineering.
Operating systems (Computers).
Logic design.
Computer Science.
Computer Communication Networks.
Software Engineering.
Logics and Meanings of Programs.
Operating Systems.
TK5105.5-5105.9
004.6