Temporal verification of reactive systems : safety /

Na minha lista:
Detalhes bibliográficos
Principais autores: Manna, Zohar., Pnueli, A.
Formato: Livro
Publicado em:
Assuntos:
Programção de computador -
Verificação.
Software -
Testes.
Processamento paralelo (Computadores).
Endereço do item:https://app.bczm.ufrn.br/home/#/item/88390
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-62403
record_format dspace
spelling oai:localhost:123456789-624032022-11-30T04:25:43Z Temporal verification of reactive systems : safety / Manna, Zohar. Pnueli, A. Programção de computador - Verificação. Software - Testes. Processamento paralelo (Computadores). 1 2022-10-05T15:33:52Z 2022-10-05T15:33:52Z c1995. Livro 519.681 M315t 0387944591 (enc.) 88390 https://app.bczm.ufrn.br/home/#/item/88390 https://app.bczm.ufrn.br/home/#/item/88390
institution Acervo SISBI
collection SIGAA
topic Programção de computador -
Verificação.
Software -
Testes.
Processamento paralelo (Computadores).
spellingShingle Programção de computador -
Verificação.
Software -
Testes.
Processamento paralelo (Computadores).
Manna, Zohar.
Pnueli, A.
Temporal verification of reactive systems : safety /
description
format Livro
author Manna, Zohar.
Pnueli, A.
author_facet Manna, Zohar.
Pnueli, A.
author_sort Manna, Zohar.
title Temporal verification of reactive systems : safety /
title_short Temporal verification of reactive systems : safety /
title_full Temporal verification of reactive systems : safety /
title_fullStr Temporal verification of reactive systems : safety /
title_full_unstemmed Temporal verification of reactive systems : safety /
title_sort temporal verification of reactive systems : safety /
publishDate 2022
url https://app.bczm.ufrn.br/home/#/item/88390
work_keys_str_mv AT mannazohar temporalverificationofreactivesystemssafety
AT pnuelia temporalverificationofreactivesystemssafety
_version_ 1766816118947708928

Registros relacionados