Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /

Na minha lista:
Detalhes bibliográficos
Principais autores: Havelund, Klaus., Majumdar, Rupak., Palsberg, Jens., SpringerLink (Online service)
Formato: Digital
Publicado em:
Assuntos:
Engenharia de software.
Lógica de computador.
Computação.
Endereço do item:http://dx.doi.org/10.1007/978-3-540-85114-1
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-211432
record_format dspace
spelling oai:localhost:123456789-2114322023-07-17T15:11:21Z Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings / Havelund, Klaus. Majumdar, Rupak. Palsberg, Jens. SpringerLink (Online service) Engenharia de software. Lógica de computador. Computação. 0 2022-10-11T17:18:42Z 2022-10-11T17:18:42Z 2008. Digital 004.41 M689 9783540851141 196662 http://dx.doi.org/10.1007/978-3-540-85114-1 http://dx.doi.org/10.1007/978-3-540-85114-1
institution Acervo SISBI
collection SIGAA
topic Engenharia de software.
Lógica de computador.
Computação.
spellingShingle Engenharia de software.
Lógica de computador.
Computação.
Havelund, Klaus.
Majumdar, Rupak.
Palsberg, Jens.
SpringerLink (Online service)
Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
description
format Digital
author Havelund, Klaus.
Majumdar, Rupak.
Palsberg, Jens.
SpringerLink (Online service)
author_facet Havelund, Klaus.
Majumdar, Rupak.
Palsberg, Jens.
SpringerLink (Online service)
author_sort Havelund, Klaus.
title Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
title_short Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
title_full Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
title_fullStr Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
title_full_unstemmed Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
title_sort model checking software 15th international spin workshop, los angeles, ca, usa, august 10-12, 2008 proceedings /
publishDate 2022
url http://dx.doi.org/10.1007/978-3-540-85114-1
work_keys_str_mv AT havelundklaus modelcheckingsoftware15thinternationalspinworkshoplosangelescausaaugust10122008proceedings
AT majumdarrupak modelcheckingsoftware15thinternationalspinworkshoplosangelescausaaugust10122008proceedings
AT palsbergjens modelcheckingsoftware15thinternationalspinworkshoplosangelescausaaugust10122008proceedings
AT springerlinkonlineservice modelcheckingsoftware15thinternationalspinworkshoplosangelescausaaugust10122008proceedings
_version_ 1771688688945725440

Registros relacionados