Axiomatising the logic of computer programming

R. Goldblatt

Salvar edição
  • Editora: Springer Nature B.V.
  • Ano: 1982
  • ISBN: 9783540112105
  • Axiomatising the logic of computer programming
Ler sinopse completa
Axiomatising the Logic of Computer Programming

Axiomatising the Logic of Computer Programming

R. Goldblatt | 1982

Descrição: Axiomatising the Logic of Computer Programming

Veja as outras undefined ofertas de novos deste livro: