Libros
Axiomatising the logic of computer programming

Axiomatising the logic of computer programming

Robert Goldblatt
1982
Páginas: 304
Género: Proof theory


Añadir a mi colección

Formato