Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Interactive Systems. Design, Specification, and Verification

13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers

Language EnglishEnglish
Book Paperback
Book Interactive Systems. Design, Specification, and Verification Gavin Doherty
Libristo code: 01567949
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, January 2007
This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on... Full description
? points 141 b
58.32 €
Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

Por qu? el agua del mar es salada SCHWAIGER / Book Paperback
common.buy 20.61 €
Staré odrůdy Ewald Arenz / Book Hardback
common.buy 13.03 €
Cupcake 50 snadných receptů Academia Barilla / Book Hardback
common.buy 9.70 €
Ghana 1999, le petit fute auzias/al. dominique Book Paperback
common.buy 19.60 €
L'Héritage européen de Robert Schuman Soutou / Book Paperback
common.buy 15.76 €
Entre Dos Vanessa Vale / Book Paperback
common.buy 15.05 €
Die Evangelischen Und Epistolischen Perikopen Des Kirchenjahres V5: Die Epistolischen Perikopen (1875) August Nebe / Book Paperback
common.buy 41.03 €
Herz über Kopf Ulla Hahn / Book Hardback
common.buy 13.13 €
Kunstraub und Kunstschutz, Band I Günther Haase / Book Paperback
common.buy 32.95 €
Leszno mapa 1:15 000 / Printed items Map
common.buy 2.52 €
Pessoa múltiple . Antología bilingüe Pessoa / Book Paperback
common.buy 28.30 €
Neue Rezepte. Die klassische italienische Küche Marcella Hazan / Book Hardback
common.buy 43.76 €
Visitare Auschwitz. Guida all'ex campo di concentramento e al sito memoriale Carlo Saletti / Book Paperback
common.buy 29.81 €
Er selbst Fernando Pessoa / Book Hardback
common.buy 23.34 €
Informationsmodelle fuer ueberbetriebliche Prozesse David Schüppler / Book Paperback
common.buy 57.21 €
individuellen Eigentumlichkeiten einiger hervorragender Trobadors Alfred Pätzold / Book Paperback
common.buy 11.72 €
Goethes Werke Johann Wolfgang Von Goethe / Book Paperback
common.buy 27.69 €
Alti Orhan Alkaya / Book Paperback
common.buy 10.20 €
Co jsem to proboha udělal? Robert Fulghum / Book Hardback
common.buy 8.58 €
Jeunesse Du Roi Henri. Les Amours Du Valet de Trefle Pierre Alexis Ponson Du Terrail / Book Paperback
common.buy 29.11 €

This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, and Verification of Interactive Systems, DSVIS 2006, held in Dublin, Ireland in July 2006. The 19 revised full papers presented together with one keynote paper, and two working group reports were carefully reviewed and selected from 57 submissions during two rounds of reviewing and improvement.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Interactive Systems. Design, Specification, and Verification
Author Gavin Doherty, Ann Blandford
Language English
Binding Book - Paperback
Date of issue 2007
Number of pages 276
EAN 9783540695530
ISBN 3540695532
Libristo code 01567949
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 444
Dimensions 155 x 235 x 19

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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Graphical & digital media applications
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

You might also be interested in

Garden of Cyrus THOMAS BROWNE / Book Hardback
common.buy 26.88 €
Yorktown Robert Manns / Book Paperback
common.buy 9.19 €
Bonnie Kate De Courcy Laffan / Book Paperback
common.buy 22.94 €
Gravionics and a Spiritual Life Dr Dr Dr Mike / Book Paperback
common.buy 21.73 €
When the United States Spoke French Francois Furstenberg / Book Paperback
common.buy 22.74 €
New York Aces: The First 75 Years Mark Rucker / Book Paperback
common.buy 20.82 €
Brown Alumni Monthly, Vol. 10 Brown University / Book Paperback
common.buy 10.10 €
Full Circle Health Lucy H. Pearce / Book Paperback
common.buy 16.97 €
Public Papers of John A. Dix, Governor, 1911. Volume 1 of 2 Multiple Contributors / Book Paperback
common.buy 38.20 €
Humanities Emergency: Poetry of a Medical Student Sarah Fraser MD / Book Paperback
common.buy 14.85 €
Introduction to Political Theory HOFFMAN / Book Hardback
common.buy 208.95 €
Journal of Ethical and Legal Issues - Volume 13 Steve Bain / Book Paperback
common.buy 91.18 €
Seafloor Geomorphology as Benthic Habitat Peter T Harris / E-book Adobe ePub DRM
common.buy 106.85 €
Inclusion and Exclusion in Competitive Sport Seema Patel / E-book Adobe ePub DRM
common.buy 72.27 €
Hezbollah and Hamas Joshua L. Gleis / E-book Adobe ePub DRM
common.buy 36.18 €
My Name is Malala Malala Yousafzai / E-book Adobe ePub DRM
common.buy 9.90 €
Top
Heritage James Stourton / Book Paperback
common.buy 16.27 €
Fairy Cat Vol. 2 V02 / Book Paperback
common.buy 12.12 €
Coming soon
Petit Collage Deluxe Baby Book and Memory Box Lorena Siminovich / Calendar/Diary Diary
common.buy 33.86 €
Intracranial Pressure and Brain Monitoring XIII Geoffrey A. Manley / Book Hardback
common.buy 171.14 €
Systematic Design of Analog IP Blocks Jan Vandenbussche / Book Hardback
common.buy 102.90 €
Barchester Towers Anthony Trollope / Book Hardback
common.buy 31.23 €
Banach Algebras and the General Theory of *-Algebras: Volume 1, Algebras and Banach Algebras Theodore W. Palmer / Book Hardback
common.buy 266.07 €
Chemistry of Contrast Agents in Medical Magnetic Resonance Imaging 2e Andre S Merbach / Book Hardback
common.buy 200.86 €

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?