imagem ilustrativa
Axiomatising the logic of computer programming
R. Goldblatt
Salvar edição
Compartilhar
- Editora: Springer Nature B.V.
- Ano: 1982
- ISBN: 9783540112105
- Axiomatising the logic of computer programming

Descrição: Axiomatising the Logic of Computer Programming