Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers /
Na minha lista:
Principais autores: | , , |
---|---|
Formato: | Digital |
Publicado em: |
|
Assuntos: | |
Endereço do item: | http://dx.doi.org/10.1007/978-3-540-70569-7 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
id |
oai:localhost:123456789-211100 |
---|---|
record_format |
dspace |
spelling |
oai:localhost:123456789-2111002023-07-17T15:10:33Z Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers / Graham, T. C. Nicholas. Palanque, Philippe. SpringerLink (Online service) Sistemas multimídia. Redes de computadores. Engenharia de software. Computação. 0 2022-10-11T17:13:20Z 2022-10-11T17:13:20Z 2008. Digital 004.4'27 I61 9783540705697 196160 http://dx.doi.org/10.1007/978-3-540-70569-7 http://dx.doi.org/10.1007/978-3-540-70569-7 |
institution |
Acervo SISBI |
collection |
SIGAA |
topic |
Sistemas multimídia. Redes de computadores. Engenharia de software. Computação. |
spellingShingle |
Sistemas multimídia. Redes de computadores. Engenharia de software. Computação. Graham, T. C. Nicholas. Palanque, Philippe. SpringerLink (Online service) Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers / |
description |
|
format |
Digital |
author |
Graham, T. C. Nicholas. Palanque, Philippe. SpringerLink (Online service) |
author_facet |
Graham, T. C. Nicholas. Palanque, Philippe. SpringerLink (Online service) |
author_sort |
Graham, T. C. Nicholas. |
title |
Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers / |
title_short |
Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers / |
title_full |
Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers / |
title_fullStr |
Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers / |
title_full_unstemmed |
Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers / |
title_sort |
interactive systems. design, specification, and verification 15th international workshop, dsv-is 2008 kingston, canada, july 16-18, 2008 revised papers / |
publishDate |
2022 |
url |
http://dx.doi.org/10.1007/978-3-540-70569-7 |
work_keys_str_mv |
AT grahamtcnicholas interactivesystemsdesignspecificationandverification15thinternationalworkshopdsvis2008kingstoncanadajuly16182008revisedpapers AT palanquephilippe interactivesystemsdesignspecificationandverification15thinternationalworkshopdsvis2008kingstoncanadajuly16182008revisedpapers AT springerlinkonlineservice interactivesystemsdesignspecificationandverification15thinternationalworkshopdsvis2008kingstoncanadajuly16182008revisedpapers |
_version_ |
1771689976817254400 |