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