Dynamic logic /

Na minha lista:
Detalhes bibliográficos
Principais autores: Harel, David, Kozen, Dexter, Tiuryn, Jerzy.
Formato: Livro
Publicado em:
Assuntos:
Lógica (Computador).
Métodos formais (Ciência da Coputação).
Endereço do item:https://app.bczm.ufrn.br/home/#/item/87705
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-61900
record_format dspace
spelling oai:localhost:123456789-619002022-11-30T04:16:45Z Dynamic logic / Harel, David, Kozen, Dexter, Tiuryn, Jerzy. Lógica (Computador). Métodos formais (Ciência da Coputação). 3 2022-10-05T15:27:54Z 2022-10-05T15:27:54Z 2000. Livro 004.32 H275d 0262082896 (enc.) 87705 https://app.bczm.ufrn.br/home/#/item/87705 https://app.bczm.ufrn.br/home/#/item/87705
institution Acervo SISBI
collection SIGAA
topic Lógica (Computador).
Métodos formais (Ciência da Coputação).
spellingShingle Lógica (Computador).
Métodos formais (Ciência da Coputação).
Harel, David,
Kozen, Dexter,
Tiuryn, Jerzy.
Dynamic logic /
description
format Livro
author Harel, David,
Kozen, Dexter,
Tiuryn, Jerzy.
author_facet Harel, David,
Kozen, Dexter,
Tiuryn, Jerzy.
author_sort Harel, David,
title Dynamic logic /
title_short Dynamic logic /
title_full Dynamic logic /
title_fullStr Dynamic logic /
title_full_unstemmed Dynamic logic /
title_sort dynamic logic /
publishDate 2022
url https://app.bczm.ufrn.br/home/#/item/87705
work_keys_str_mv AT hareldavid dynamiclogic
AT kozendexter dynamiclogic
AT tiurynjerzy dynamiclogic
_version_ 1766860339311280128

Registros relacionados