yoleo
Catálogo

Catálogo

40.144 obras en el archivo

Mostrando 2 de 2 obras en “verificacion de programas”

Portada de The Specification of a Programming Language: A Small Example

The Specification of a Programming Language: A Small Example

Charles Antony Richard Hoare

ensayo
Portada de A Discipline of Programming

A Discipline of Programming

Edsger W. Dijkstra

ensayo
yoleo