25 Years of Model Checking history, achievements, perspectives /

Na minha lista:
Detalhes bibliográficos
Principais autores: Grumberg, Orna, Veith, Helmut, SpringerLink (Online service)
Formato: Digital
Publicado em:
Assuntos:
Programação (Computadores).
Design lógico.
Computação.
Endereço do item:http://dx.doi.org/10.1007/978-3-540-69850-0
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-211075
record_format dspace
spelling oai:localhost:123456789-2110752023-07-17T15:10:31Z 25 Years of Model Checking history, achievements, perspectives / Grumberg, Orna Veith, Helmut SpringerLink (Online service) Programação (Computadores). Design lógico. Computação. 0 2022-10-11T17:13:03Z 2022-10-11T17:13:03Z 2008. Digital 004.42 V789 9783540698500 196132 http://dx.doi.org/10.1007/978-3-540-69850-0 http://dx.doi.org/10.1007/978-3-540-69850-0
institution Acervo SISBI
collection SIGAA
topic Programação (Computadores).
Design lógico.
Computação.
spellingShingle Programação (Computadores).
Design lógico.
Computação.
Grumberg, Orna
Veith, Helmut
SpringerLink (Online service)
25 Years of Model Checking history, achievements, perspectives /
description
format Digital
author Grumberg, Orna
Veith, Helmut
SpringerLink (Online service)
author_facet Grumberg, Orna
Veith, Helmut
SpringerLink (Online service)
author_sort Grumberg, Orna
title 25 Years of Model Checking history, achievements, perspectives /
title_short 25 Years of Model Checking history, achievements, perspectives /
title_full 25 Years of Model Checking history, achievements, perspectives /
title_fullStr 25 Years of Model Checking history, achievements, perspectives /
title_full_unstemmed 25 Years of Model Checking history, achievements, perspectives /
title_sort 25 years of model checking history, achievements, perspectives /
publishDate 2022
url http://dx.doi.org/10.1007/978-3-540-69850-0
work_keys_str_mv AT grumbergorna 25yearsofmodelcheckinghistoryachievementsperspectives
AT veithhelmut 25yearsofmodelcheckinghistoryachievementsperspectives
AT springerlinkonlineservice 25yearsofmodelcheckinghistoryachievementsperspectives
_version_ 1771689849982550016

Registros relacionados