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
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 145 b
21 133 Ft
Low in stock at our supplier Shipping in 11-15 days

Up to 30 days for returns

Customers also purchased

L'Héritage européen de Robert Schuman Soutou / Book Paperback
common.buy 5 646 Ft
Entre Dos Vanessa Vale / Book Paperback
common.buy 5 820 Ft
Die Evangelischen Und Epistolischen Perikopen Des Kirchenjahres V5: Die Epistolischen Perikopen (1875) August Nebe / Book Paperback
common.buy 15 589 Ft
Por qu? el agua del mar es salada SCHWAIGER / Book Paperback
common.buy 7 248 Ft
Ghana 1999, le petit fute auzias/al. dominique Book Paperback
common.buy 6 986 Ft
Jeunesse Du Roi Henri. Les Amours Du Valet de Trefle Pierre Alexis Ponson Du Terrail / Book Paperback
common.buy 11 049 Ft
Leszno mapa 1:15 000 / Printed items Map
common.buy 872 Ft
Pessoa múltiple . Antología bilingüe Pessoa / Book Paperback
common.buy 9 970 Ft
Neue Rezepte. Die klassische italienische Küche Marcella Hazan / Book Hardback
common.buy 16 855 Ft
Visitare Auschwitz. Guida all'ex campo di concentramento e al sito memoriale Carlo Saletti / Book Paperback
common.buy 11 439 Ft
Informationsmodelle fuer ueberbetriebliche Prozesse David Schüppler / Book Paperback
common.buy 20 174 Ft
individuellen Eigentumlichkeiten einiger hervorragender Trobadors Alfred Pätzold / Book Paperback
common.buy 4 512 Ft
Goethes Werke Johann Wolfgang Von Goethe / Book Paperback
common.buy 10 654 Ft
Alti Orhan Alkaya / Book Paperback
common.buy 3 902 Ft
Co jsem to proboha udělal? Robert Fulghum / Book Hardback
common.buy 3 011 Ft
Er selbst Fernando Pessoa / Book Hardback
common.buy 9 024 Ft
Kunstraub und Kunstschutz, Band I Günther Haase / Book Paperback
common.buy 12 678 Ft
Die Position der Sowjetunion im Korea-Krieg Sebastian Lamotte / Book Paperback
common.buy 6 229 Ft
Herz über Kopf Ulla Hahn / Book Hardback
common.buy 5 068 Ft
Cupcake 50 snadných receptů Academia Barilla / Book Hardback
common.buy 3 769 Ft

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

When the United States Spoke French Francois Furstenberg / Book Paperback
common.buy 8 749 Ft
Assassination Classroom, Vol. 4 Yusei Matsui / Book Paperback
common.buy 3 668 Ft
Berryman and Lowell Stephen Matterson / Book Paperback
common.buy 21 065 Ft
Introduction to Ethics John Deigh / Book Paperback
common.buy 17 250 Ft
I Want to Be Tall! Tony Ross / Book Paperback
common.buy 3 172 Ft
Coming soon
Petit Collage Deluxe Baby Book and Memory Box Lorena Siminovich / Calendar/Diary Diary
common.buy 12 724 Ft
Yorktown Robert Manns / Book Paperback
common.buy 3 553 Ft
Gravionics and a Spiritual Life Dr Dr Dr Mike / Book Paperback
common.buy 8 253 Ft
Fairy Cat Vol. 2 V02 / Book Paperback
common.buy 4 687 Ft
New York Aces: The First 75 Years Mark Rucker / Book Paperback
common.buy 7 611 Ft
Introduction to Political Theory HOFFMAN / Book Hardback
common.buy 78 851 Ft
Garden of Cyrus THOMAS BROWNE / Book Hardback
common.buy 10 218 Ft
Humanities Emergency: Poetry of a Medical Student Sarah Fraser MD / Book Paperback
common.buy 5 646 Ft
Public Papers of John A. Dix, Governor, 1911. Volume 1 of 2 Multiple Contributors / Book Paperback
common.buy 14 528 Ft
Banach Algebras and the General Theory of *-Algebras: Volume 1, Algebras and Banach Algebras Theodore W. Palmer / Book Hardback
common.buy 100 715 Ft
Masculinity and the Hunt Catherine Bates / Book Hardback
common.buy 72 026 Ft
First Course in Probability and Markov Chains Giuseppe Modica / Book Hardback
common.buy 35 955 Ft
Superstar Doodles Nellie Ryan / Book Paperback
common.buy 3 580 Ft
Structural Anthropology Claude Lévi-Strauss / Book Paperback
common.buy 11 237 Ft
Chemistry of Contrast Agents in Medical Magnetic Resonance Imaging 2e Andre S Merbach / Book Hardback
common.buy 71 993 Ft
Systematic Design of Analog IP Blocks Jan Vandenbussche / Book Hardback
common.buy 39 416 Ft
Intracranial Pressure and Brain Monitoring XIII Geoffrey A. Manley / Book Hardback
common.buy 60 348 Ft
Heritage James Stourton / Book Paperback
common.buy 6 027 Ft
Journal of Ethical and Legal Issues - Volume 13 Steve Bain / Book Paperback
common.buy 34 643 Ft

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?