yoleo
Catálogo

Catálogo

39.961 obras en el archivo

Mostrando 1 de 1 obra en “verificacion de software”

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
yoleo