Interactive Systems: Design, Specification, and Verification

Name: Interactive Systems: Design, Specification, and Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540428077
Price: 276.54 RON
Availability: InStock

8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers

Autor: Chris Johnson

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

276.54 lei

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on...

Informații despre carte

Autor

Chris Johnson

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2001

Pagini

221

EAN

9783540428077

ISBN

3540428070

Enbook ID

01563900

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

412

Dimensiuni

155 x 235 x 14

Descriere completă

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2001, held in Glasgow, Scotland, UK, in June 2001.§The 12 revised full papers presented have gone through two rounds of reviewing, selection, and revision. The book offers topical sections on mobile interface design, context-sensitive interfaces, supervision and control systems, temporal and stochastic issues, and new perspectives.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Interactive Systems: Design, Specification, and Verification

8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și