Predicate calculus and program semantics /

Na minha lista:
Detalhes bibliográficos
Principais autores: Dijkstra, Edsger Wybe., Scholten, Carel S.
Formato: Livro
Publicado em:
Assuntos:
Programação (Computação).
Linguagens de programação (computadores eletrônicos) -
Semântica.
Cálculo de predicados.
Endereço do item:https://app.bczm.ufrn.br/home/#/item/199075
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-130363
record_format dspace
spelling oai:localhost:123456789-1303632022-12-01T01:19:26Z Predicate calculus and program semantics / Dijkstra, Edsger Wybe. Scholten, Carel S. Programação (Computação). Linguagens de programação (computadores eletrônicos) - Semântica. Cálculo de predicados. 1 2022-10-06T08:03:54Z 2022-10-06T08:03:54Z c1990. Livro 004.42 D575p 0387969578 (enc.) 199075 https://app.bczm.ufrn.br/home/#/item/199075 https://app.bczm.ufrn.br/home/#/item/199075
institution Acervo SISBI
collection SIGAA
topic Programação (Computação).
Linguagens de programação (computadores eletrônicos) -
Semântica.
Cálculo de predicados.
spellingShingle Programação (Computação).
Linguagens de programação (computadores eletrônicos) -
Semântica.
Cálculo de predicados.
Dijkstra, Edsger Wybe.
Scholten, Carel S.
Predicate calculus and program semantics /
description
format Livro
author Dijkstra, Edsger Wybe.
Scholten, Carel S.
author_facet Dijkstra, Edsger Wybe.
Scholten, Carel S.
author_sort Dijkstra, Edsger Wybe.
title Predicate calculus and program semantics /
title_short Predicate calculus and program semantics /
title_full Predicate calculus and program semantics /
title_fullStr Predicate calculus and program semantics /
title_full_unstemmed Predicate calculus and program semantics /
title_sort predicate calculus and program semantics /
publishDate 2022
url https://app.bczm.ufrn.br/home/#/item/199075
work_keys_str_mv AT dijkstraedsgerwybe predicatecalculusandprogramsemantics
AT scholtencarels predicatecalculusandprogramsemantics
_version_ 1766813602455486464

Registros relacionados