Interactive systems : design, specification, and verification :
15th International Workshop, DSV-IS 2008 : Kingston, Canada,
July 16-18, 2008 : proceedings

Přeskočit na horní lištu Přeskočit na hlavičku Přeskočit na obsah Přeskočit na patičku

Přehled o publikaci

2008

Interactive systems : design, specification, and verification : 15th International Workshop, DSV-IS 2008 : Kingston, Canada, July 16-18, 2008 : proceedings

Základní údaje

Originální název

Interactive systems : design, specification, and verification : 15th International Workshop, DSV-IS 2008 : Kingston, Canada, July 16-18, 2008 : proceedings

Autoři

Edited by T. C. Graham - Philippe Palanque.

Vydání

Berlin, ix, 309, 2008

Nakladatel

Springer

Další údaje

Označené pro přenos do RIV

ISBN

9783540705680

Změněno: 2. 3. 2026 06:16, Záznam byl importován z knihovního systému.

Interactive systems : design, specification, and verification : 15th International Workshop, DSV-IS 2008 : Kingston, Canada, July 16-18, 2008 : proceedings. Edited by T. C. Graham - Philippe Palanque. Berlin: Springer, 2008, ix, 309. ISBN 9783540705680.

@article{,
   address = {Berlin},
   location = {Berlin},
   isbn = {9783540705680},
   publisher = {Springer},
   title = {Interactive systems : design, specification, and verification : 15th International Workshop, DSV-IS 2008 : Kingston, Canada, July 16-18, 2008 : proceedings},
   year = {2008}
}

TY  - JOUR
PY  - 2008
TI  - Interactive systems : design, specification, and verification : 15th International Workshop, DSV-IS 2008 : Kingston, Canada, July 16-18, 2008 : proceedings
PB  - Springer
CY  - Berlin
SN  - 9783540705680
ER  -

\textit{Interactive systems : design, specification, and verification : 15th International Workshop, DSV-IS 2008 : Kingston, Canada, July 16-18, 2008 : proceedings}. Edited by T. C. Graham - Philippe Palanque. Berlin: Springer, 2008, ix, 309. ISBN~9783540705680.