Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers /

Na minha lista:
Detalhes bibliográficos
Principais autores: Hierons, Robert M., Bowen, Jonathan P., Harman, Mark, SpringerLink (Online service)
Formato: Digital
Publicado em:
Assuntos:
Computação.
Engenharia de software.
Sistemas de recuperação da informação.
Endereço do item:http://dx.doi.org/10.1007/978-3-540-78917-8
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-211332
record_format dspace
spelling oai:localhost:123456789-2113322023-07-17T15:11:08Z Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers / Hierons, Robert M. Bowen, Jonathan P. Harman, Mark SpringerLink (Online service) Computação. Engenharia de software. Sistemas de recuperação da informação. 0 2022-10-11T17:17:10Z 2022-10-11T17:17:10Z 2008. Digital 004 F723 9783540789178 196538 http://dx.doi.org/10.1007/978-3-540-78917-8 http://dx.doi.org/10.1007/978-3-540-78917-8
institution Acervo SISBI
collection SIGAA
topic Computação.
Engenharia de software.
Sistemas de recuperação da informação.
spellingShingle Computação.
Engenharia de software.
Sistemas de recuperação da informação.
Hierons, Robert M.
Bowen, Jonathan P.
Harman, Mark
SpringerLink (Online service)
Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers /
description
format Digital
author Hierons, Robert M.
Bowen, Jonathan P.
Harman, Mark
SpringerLink (Online service)
author_facet Hierons, Robert M.
Bowen, Jonathan P.
Harman, Mark
SpringerLink (Online service)
author_sort Hierons, Robert M.
title Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers /
title_short Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers /
title_full Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers /
title_fullStr Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers /
title_full_unstemmed Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers /
title_sort formal methods and testing an outcome of the fortest network, revised selected papers /
publishDate 2022
url http://dx.doi.org/10.1007/978-3-540-78917-8
work_keys_str_mv AT hieronsrobertm formalmethodsandtestinganoutcomeofthefortestnetworkrevisedselectedpapers
AT bowenjonathanp formalmethodsandtestinganoutcomeofthefortestnetworkrevisedselectedpapers
AT harmanmark formalmethodsandtestinganoutcomeofthefortestnetworkrevisedselectedpapers
AT springerlinkonlineservice formalmethodsandtestinganoutcomeofthefortestnetworkrevisedselectedpapers
_version_ 1771689262911062016

Registros relacionados