Verified Software Theories, Tools, Experiments /

Mostrar outras versões (1)
Na minha lista:
Detalhes bibliográficos
Principais autores: Shankar, Natarajan, Woodcock, Jim, SpringerLink (Online service), International Conference, VSTTE 2008
Formato: Digital
Publicado em:
Assuntos:
Inteligência artificial.
Lógica simbólica e matemática.
Computação.
Endereço do item:http://dx.doi.org/10.1007/978-3-540-87873-5
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-211553
record_format dspace
spelling oai:localhost:123456789-2115532023-07-17T15:11:35Z Verified Software Theories, Tools, Experiments / Shankar, Natarajan Woodcock, Jim SpringerLink (Online service) International Conference, VSTTE 2008 Inteligência artificial. Lógica simbólica e matemática. Computação. 0 2022-10-11T17:20:38Z 2022-10-11T17:20:38Z 2008. Digital 004.8 V516 9783540878735 196784 http://dx.doi.org/10.1007/978-3-540-87873-5 http://dx.doi.org/10.1007/978-3-540-87873-5
institution Acervo SISBI
collection SIGAA
topic Inteligência artificial.
Lógica simbólica e matemática.
Computação.
spellingShingle Inteligência artificial.
Lógica simbólica e matemática.
Computação.
Shankar, Natarajan
Woodcock, Jim
SpringerLink (Online service)
International Conference, VSTTE 2008
Verified Software Theories, Tools, Experiments /
description
format Digital
author Shankar, Natarajan
Woodcock, Jim
SpringerLink (Online service)
International Conference, VSTTE 2008
author_facet Shankar, Natarajan
Woodcock, Jim
SpringerLink (Online service)
International Conference, VSTTE 2008
author_sort Shankar, Natarajan
title Verified Software Theories, Tools, Experiments /
title_short Verified Software Theories, Tools, Experiments /
title_full Verified Software Theories, Tools, Experiments /
title_fullStr Verified Software Theories, Tools, Experiments /
title_full_unstemmed Verified Software Theories, Tools, Experiments /
title_sort verified software theories, tools, experiments /
publishDate 2022
url http://dx.doi.org/10.1007/978-3-540-87873-5
work_keys_str_mv AT shankarnatarajan verifiedsoftwaretheoriestoolsexperiments
AT woodcockjim verifiedsoftwaretheoriestoolsexperiments
AT springerlinkonlineservice verifiedsoftwaretheoriestoolsexperiments
AT internationalconferencevstte2008 verifiedsoftwaretheoriestoolsexperiments
_version_ 1771687820145983488

Registros relacionados