yoleo
Catálogo

Catálogo

40.144 obras en el archivo

Mostrando 3 de 3 obras en “verificacion formal”

Portada de Concrete Semantics: With Coq

Concrete Semantics: With Coq

Benjamin C. Pierce

no ficcion
Portada de Sistemas concurrentes y propiedades de verificación de procesos

Sistemas concurrentes y propiedades de verificación de procesos

Jozef Gruska

ciencia ficcion
Portada de Software Foundations

Software Foundations

Benjamin C. Pierce

no ficcion
yoleo