yoleo
Catálogo

Catálogo

44.789 obras en el archivo

Mostrando 2 de 2 obras en “ingenieria de software formal”

Portada de La lógica de la programación

La lógica de la programación

Edsger W. Dijkstra

divulgacion
Portada de Formale Systeme der Software-Entwicklung: Eine Einführung

Formale Systeme der Software-Entwicklung: Eine Einführung

Manfred Broy

no ficcion
yoleo