The foundations of program verification /

Na minha lista:
Detalhes bibliográficos
Principais autores: Loeckx, Jacques, Sieber, Kurt., Stansifer, Ryan D.
Formato: Livro
Publicado em:
Assuntos:
Programas de computador
Programas de computador -
Verificação.
Endereço do item:https://app.bczm.ufrn.br/home/#/item/10337
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-237506
record_format dspace
spelling oai:localhost:123456789-2375062023-11-28T21:00:15Z The foundations of program verification / Loeckx, Jacques, Sieber, Kurt. Stansifer, Ryan D. Programas de computador Programas de computador - Verificação. 17 2023-11-28T21:00:15Z 2023-11-28T21:00:15Z c1987. Livro 004.4 L285f 2.ed. 0471912824 10337 https://app.bczm.ufrn.br/home/#/item/10337 https://app.bczm.ufrn.br/home/#/item/10337
institution Acervo SISBI
collection SIGAA
topic Programas de computador
Programas de computador -
Verificação.
spellingShingle Programas de computador
Programas de computador -
Verificação.
Loeckx, Jacques,
Sieber, Kurt.
Stansifer, Ryan D.
The foundations of program verification /
description
format Livro
author Loeckx, Jacques,
Sieber, Kurt.
Stansifer, Ryan D.
author_facet Loeckx, Jacques,
Sieber, Kurt.
Stansifer, Ryan D.
author_sort Loeckx, Jacques,
title The foundations of program verification /
title_short The foundations of program verification /
title_full The foundations of program verification /
title_fullStr The foundations of program verification /
title_full_unstemmed The foundations of program verification /
title_sort foundations of program verification /
publishDate 2023
url https://app.bczm.ufrn.br/home/#/item/10337
work_keys_str_mv AT loeckxjacques thefoundationsofprogramverification
AT sieberkurt thefoundationsofprogramverification
AT stansiferryand thefoundationsofprogramverification
AT loeckxjacques foundationsofprogramverification
AT sieberkurt foundationsofprogramverification
AT stansiferryand foundationsofprogramverification
_version_ 1784351828860731392

Registros relacionados