Formal Techniques for Networked and Distributed Systems - FORTE 2006
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. - 1a ed. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006. - v.: digital - Lecture Notes in Computer Science, 4229 0302-9743 ; .
9783540462200
Método formal (Informática)--Congresos
Procesamiento electrónico de datos --Proceso distribuido --Congresos
Redes de computadores --Protocolos--Congresos
QA76.9.F67
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. - 1a ed. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006. - v.: digital - Lecture Notes in Computer Science, 4229 0302-9743 ; .
9783540462200
Método formal (Informática)--Congresos
Procesamiento electrónico de datos --Proceso distribuido --Congresos
Redes de computadores --Protocolos--Congresos
QA76.9.F67