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
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.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 148 b
60.39 € VAT included
Low in stock at our supplier Shipping in 13-18 days
Austria Delivery to Austria

30-day return policy

Customers also purchased

Die Position der Sowjetunion im Korea-Krieg Sebastian Lamotte / Book Paperback
common.buy 17.95 €
Cupcake 50 snadných receptů Academia Barilla / Book Hardback
common.buy 11.19 €
Er selbst Fernando Pessoa / Book Hardback
common.buy 26.99 €
Por qu? el agua del mar es salada SCHWAIGER / Book Paperback
common.buy 21.29 €
Kunstraub und Kunstschutz, Band I Günther Haase / Book Paperback
common.buy 36.80 €
Ghana 1999, le petit fute auzias/al. dominique Book Paperback
common.buy 20.39 €
L'Héritage européen de Robert Schuman Soutou / Book Paperback
common.buy 16.49 €
Entre Dos Vanessa Vale / Book Paperback
common.buy 15.79 €
Die Evangelischen Und Epistolischen Perikopen Des Kirchenjahres V5: Die Epistolischen Perikopen (1875) August Nebe / Book Paperback
common.buy 42.59 €
Herz über Kopf Ulla Hahn / Book Hardback
common.buy 14.99 €
Leszno mapa 1:15 000 / Printed items Map
common.buy 2.69 €
Pessoa múltiple . Antología bilingüe Pessoa / Book Paperback
common.buy 29.29 €
Neue Rezepte. Die klassische italienische Küche Marcella Hazan / Book Hardback
common.buy 49.00 €
Co jsem to proboha udělal? Robert Fulghum / Book Hardback
common.buy 8.89 €
Informationsmodelle fuer ueberbetriebliche Prozesse David Schüppler / Book Paperback
common.buy 59.29 €
individuellen Eigentumlichkeiten einiger hervorragender Trobadors Alfred Pätzold / Book Paperback
common.buy 12.90 €
Goethes Werke Johann Wolfgang Von Goethe / Book Paperback
common.buy 30.90 €
Alti Orhan Alkaya / Book Paperback
common.buy 10.59 €
Jeunesse Du Roi Henri. Les Amours Du Valet de Trefle Pierre Alexis Ponson Du Terrail / Book Paperback
common.buy 30.19 €

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

Berryman and Lowell Stephen Matterson / Book Paperback
common.buy 61.89 €
Introduction to Ethics John Deigh / Book Paperback
common.buy 47.19 €
I Want to Be Tall! Tony Ross / Book Paperback
common.buy 8.69 €
Coming soon
Petit Collage Deluxe Baby Book and Memory Box Lorena Siminovich / Calendar/Diary Diary
common.buy 35.69 €
Yorktown Robert Manns / Book Paperback
common.buy 9.59 €
When the United States Spoke French Francois Furstenberg / Book Paperback
common.buy 23.79 €
New York Aces: The First 75 Years Mark Rucker / Book Paperback
common.buy 21.89 €
Gravionics and a Spiritual Life Dr Dr Dr Mike / Book Paperback
common.buy 22.59 €
Public Papers of John A. Dix, Governor, 1911. Volume 1 of 2 Multiple Contributors / Book Paperback
common.buy 39.69 €
Introduction to Political Theory HOFFMAN / Book Hardback
common.buy 215.89 €
Journal of Ethical and Legal Issues - Volume 13 Steve Bain / Book Paperback
common.buy 94.59 €
Heritage James Stourton / Book Paperback
common.buy 16.89 €
Fairy Cat Vol. 2 V02 / Book Paperback
common.buy 12.69 €
Banach Algebras and the General Theory of *-Algebras: Volume 1, Algebras and Banach Algebras Theodore W. Palmer / Book Hardback
common.buy 275.39 €
Masculinity and the Hunt Catherine Bates / Book Hardback
common.buy 202.19 €
First Course in Probability and Markov Chains Giuseppe Modica / Book Hardback
common.buy 102.49 €
Superstar Doodles Nellie Ryan / Book Paperback
common.buy 8.79 €
Structural Anthropology Claude Lévi-Strauss / Book Paperback
common.buy 30.79 €
Chemistry of Contrast Agents in Medical Magnetic Resonance Imaging 2e Andre S Merbach / Book Hardback
common.buy 212.69 €
Systematic Design of Analog IP Blocks Jan Vandenbussche / Book Hardback
common.buy 107.29 €
Intracranial Pressure and Brain Monitoring XIII Geoffrey A. Manley / Book Hardback
common.buy 177.69 €
Barchester Towers Anthony Trollope / Book Hardback
common.buy 32.69 €

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?