Najm, Elie.
Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings / [electronic resource] : edited by Elie Najm, Jean-François Pradat-Peyre, Véronique Viguié Donzeau-Gouge. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 4229 0302-9743 ; . - Lecture Notes in Computer Science, 4229 .
9783540462200
10.1007/11888116 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 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings / [electronic resource] : edited by Elie Najm, Jean-François Pradat-Peyre, Véronique Viguié Donzeau-Gouge. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. - digital. - Lecture Notes in Computer Science, 4229 0302-9743 ; . - Lecture Notes in Computer Science, 4229 .
9783540462200
10.1007/11888116 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