yoleo
Catálogo

Catálogo

39.961 obras en el archivo

Mostrando 3 de 3 obras en “metodos formales”

Portada de Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

Frank S. de Boer

no ficcion
Portada de Una disciplina de programación

Una disciplina de programación

Edsger W. Dijkstra

no ficcion
Portada de Formal Methods and Software Engineering

Formal Methods and Software Engineering

Benjamin C. Pierce

informatica
yoleo