Antes de abordar el estudio de la verificación formal de sistemas distribuidos,
ccia.ei.uvigo.es
Métodos Formales, Teoría de Tipos, Coq, Especifica-. ción y Verificación
teyet-revista.info.unlp.edu.ar
Introducción al Método Camoin. Enviar a un amigo ... Estos estatutos
es.camoin.com
INTRODUCCIÓN A LA LÓGICA Y AL MÉTODO CIENTÍFICO II. 1
www.elbuscon.es
Introducción a la Ingeniería de Software: La Disciplina Evolucionaria
www.acm.org
Introducción a los Métodos Formales en Ingeniería del Software.
cvirtual.ual.es
Lo fundamental es dar a conocer y entender que son los Métodos
www.uvmsf.cl
?Z, UN METODO FORMAL PARA EL DESARROLLO DE SOFTWARE
www-2.dc.uba.ar
Introducción a los Métodos Formales. Pro y contra de los
programas.unsl.edu.ar


