Axiomatising the logic of computer programming /

Na minha lista:
Detalhes bibliográficos
Autor principal: Goldblatt, Robert.
Formato: Livro
Publicado em:
Assuntos:
Linguagem de programação (Computadores) -
Semântica.
Teoria das demonstrações.
Axiomas.
Endereço do item:https://app.bczm.ufrn.br/home/#/item/190347
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-125162
record_format dspace
spelling oai:localhost:123456789-1251622022-11-30T23:29:17Z Axiomatising the logic of computer programming / Goldblatt, Robert. Linguagem de programação (Computadores) - Semântica. Teoria das demonstrações. Axiomas. 1 2022-10-06T06:27:52Z 2022-10-06T06:27:52Z 1982. Livro 004.423.46 G617a 3540112103 (broch.). 190347 https://app.bczm.ufrn.br/home/#/item/190347 https://app.bczm.ufrn.br/home/#/item/190347
institution Acervo SISBI
collection SIGAA
topic Linguagem de programação (Computadores) -
Semântica.
Teoria das demonstrações.
Axiomas.
spellingShingle Linguagem de programação (Computadores) -
Semântica.
Teoria das demonstrações.
Axiomas.
Goldblatt, Robert.
Axiomatising the logic of computer programming /
description
format Livro
author Goldblatt, Robert.
author_facet Goldblatt, Robert.
author_sort Goldblatt, Robert.
title Axiomatising the logic of computer programming /
title_short Axiomatising the logic of computer programming /
title_full Axiomatising the logic of computer programming /
title_fullStr Axiomatising the logic of computer programming /
title_full_unstemmed Axiomatising the logic of computer programming /
title_sort axiomatising the logic of computer programming /
publishDate 2022
url https://app.bczm.ufrn.br/home/#/item/190347
work_keys_str_mv AT goldblattrobert axiomatisingthelogicofcomputerprogramming
_version_ 1766840831190237184

Registros relacionados