phone 571 999 090
LIBRISTO 0
Free delivery for purchases over 1 299 Kč
PPL Parcel Shop 54 Kč Czech Post 74 Kč Balíkovna 49 Kč GLS point 54 Kč GLS courier 64 Kč Zásilkovna 44 Kč PPL courier 99 Kč
phone Contact phoneHow to shop

Interactive Systems: Design, Specification, and Verification

Language EnglishEnglish
Book Paperback
Book Interactive Systems: Design, Specification, and Verification Bodo Urban
Libristo code: 01556035
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, December 2002
This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on... Full description
? points 147 b
1 472 Kč
Low in stock at our supplier Shipping in 10-14 days

30-day return policy

You might also be interested in

Afghan Crochet 101 Richard Lee / Paperback
common.buy 195 Kč
Baltasar & Blimunda Jose Saramago / Paperback
common.buy 258 Kč
Wisdom of Fairy Tales Rudolf Meyer / Paperback
common.buy 383 Kč
Hairy Maclary, Shoo Lynley Dodd / Paperback
common.buy 208 Kč
Infrastruktura komunikačních systémů III. Integrovaná podniková infrastruktura Vilém Jordán / Paperback
common.buy 242 Kč
Interventional Neuroradiology Fergus Robertson / Paperback
common.buy 3 091 Kč
Internet y La Elao Celina De Diego Hernando / Paperback
common.buy 2 347 Kč
Aurora Charles Wong / Paperback
common.buy 1 168 Kč
Islam and Literalism Robert Gleave / Hardback
common.buy 3 821 Kč
Ireland and the Pope James George Maguire / Paperback
common.buy 537 Kč
COMING SOON
Windpumps Roy Barlow / Paperback
common.buy 764 Kč
Environnement Dissuasif, Risques Et Strategies Delinquantes Isabelle Beaudoin / Paperback
common.buy 2 693 Kč
Tourismusfachwirt - Das prufungsrelevante Wissen Thomas Padberg / Paperback
common.buy 2 197 Kč
Accidentally...Over? Mimi Jean Pamfiloff / Paperback
common.buy 175 Kč
Relevanz dualer Studiengange an Berufsakademien im strategischen Personalmanagement Antje Cordes / Paperback
common.buy 1 628 Kč
Emergency Nursing Certification (CEN): Self-Assessment and Exam Review Jayne Mcgrath / Paperback
common.buy 2 296 Kč

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002.§The 19 revised full papers presented have gone through two rounds of reviewing, selection, and improvement. All aspects of the design, specification, and verification of interactive systems from the human-computer interaction point of view are addressed. Particular emphasis is given to models and their role in supporting the design and development of interactive systems and user interfaces for ubiquitous computing.

About the book

Full name Interactive Systems: Design, Specification, and Verification
Author Bodo Urban, Jean Vanderdonckt, Quentin Limbourg
Language English
Binding Book - Paperback
Date of issue 2002
Number of pages 274
EAN 9783540002666
ISBN 3540002669
Libristo code 01556035
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 890
Dimensions 155 x 235 x 16

Categories

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Databases > Data warehousing
Computing & Information Technology > Databases > Information retrieval
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account