The calculus of computation : decision procedures with applications to verification /

Na minha lista:
Detalhes bibliográficos
Principais autores: Bradley, Aaron R., Manna, Zohar.
Formato: Livro
Publicado em:
Assuntos:
Lógica de computador.
Lógica simbólica e matemática.
Programa de computador -
Verificações.
Endereço do item:https://app.bczm.ufrn.br/home/#/item/190061
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-124950
record_format dspace
spelling oai:localhost:123456789-1249502022-11-30T23:24:54Z The calculus of computation : decision procedures with applications to verification / Bradley, Aaron R. Manna, Zohar. Lógica de computador. Lógica simbólica e matemática. Programa de computador - Verificações. 2 2022-10-06T06:24:03Z 2022-10-06T06:24:03Z 2010. Livro 510.6 B811c 9783642093470(broch.) 190061 https://app.bczm.ufrn.br/home/#/item/190061 https://app.bczm.ufrn.br/home/#/item/190061
institution Acervo SISBI
collection SIGAA
topic Lógica de computador.
Lógica simbólica e matemática.
Programa de computador -
Verificações.
spellingShingle Lógica de computador.
Lógica simbólica e matemática.
Programa de computador -
Verificações.
Bradley, Aaron R.
Manna, Zohar.
The calculus of computation : decision procedures with applications to verification /
description
format Livro
author Bradley, Aaron R.
Manna, Zohar.
author_facet Bradley, Aaron R.
Manna, Zohar.
author_sort Bradley, Aaron R.
title The calculus of computation : decision procedures with applications to verification /
title_short The calculus of computation : decision procedures with applications to verification /
title_full The calculus of computation : decision procedures with applications to verification /
title_fullStr The calculus of computation : decision procedures with applications to verification /
title_full_unstemmed The calculus of computation : decision procedures with applications to verification /
title_sort calculus of computation : decision procedures with applications to verification /
publishDate 2022
url https://app.bczm.ufrn.br/home/#/item/190061
work_keys_str_mv AT bradleyaaronr thecalculusofcomputationdecisionprocedureswithapplicationstoverification
AT mannazohar thecalculusofcomputationdecisionprocedureswithapplicationstoverification
AT bradleyaaronr calculusofcomputationdecisionprocedureswithapplicationstoverification
AT mannazohar calculusofcomputationdecisionprocedureswithapplicationstoverification
_version_ 1766854790375014400

Registros relacionados