Code: 01567949

Interactive Systems. Design, Specification, and Verification

Name: Interactive Systems. Design, Specification, and Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567949
Price: 55.69 EUR
Availability: InStock
Author: Gavin Doherty
ISBN: 9783540695530

by Gavin Doherty, Ann Blandford

Language: English
Binding: Paperback
Number of pages: 276
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007
More about this

55.69 €

Low in stock at our supplier
Shipping in 11 - 15 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Fairy Cat Vol. 2
11.29 € -25 %
Buy
Assassination Classroom, Vol. 4
10.38 € -20 %
Buy
Staré odrůdy
11.70 € -28 %
Buy
Co jsem to proboha udělal?
8.06 € -17 %
Buy
Cupcake 50 snadných receptů
8.97 € -27 %
Buy
Structural Anthropology
28.65 €
Buy
Er selbst
23.30 € -14 %
Buy
Introduction to Ethics
46.10 €
Buy
Goethes Werke
27.64 € -11 %
Buy
Full Circle Health
15.93 € -22 %
Buy
Heritage
16.74 € -20 %
Buy
Entre Dos
14.02 € -25 %
Buy
Leszno mapa 1:15 000
2.51 € -40 %
Buy
Visitare Auschwitz. Guida all'ex campo di concentramento e al sito memoriale
29.76 € -9 %
Buy
Jeunesse Du Roi Henri. Les Amours Du Valet de Trefle
27.74 €
Buy
Herz über Kopf
13.11 € -13 %
Buy
I Want to Be Tall!
8.26 € -9 %
Buy
Neue Rezepte. Die klassische italienische Küche
43.68 € -11 %
Buy
individuellen Eigentumlichkeiten einiger hervorragender Trobadors
11.70 € -10 %
Buy
Yorktown
8.57 € -24 %
Buy
Alti
10.18 € -4 %
Buy
Journal of Ethical and Legal Issues - Volume 13
86.57 € -2 %
Buy
Die Position der Sowjetunion im Korea-Krieg
16.14 € -10 %
Buy
Garden of Cyrus
25.52 € -2 %
Buy
New York Aces: The First 75 Years
19.57 € -21 %
Buy
Die Evangelischen Und Epistolischen Perikopen Des Kirchenjahres V5: Die Epistolischen Perikopen (1875)
39.04 € -1 %
Buy
Barchester Towers
31.17 € -14 %
Buy
Masculinity and the Hunt
206.55 €
Buy
L'Héritage européen de Robert Schuman
16.03 €
Buy
Chemistry of Contrast Agents in Medical Magnetic Resonance Imaging 2e
193.13 € -10 %
Buy
Gravionics and a Spiritual Life
20.68 € -1 %
Buy
Berryman and Lowell
56.80 €
Buy
Intracranial Pressure and Brain Monitoring XIII
170.93 €
Buy
Superstar Doodles
9.27 € -17 %
Buy
Diagnosis and Risk Management in Primary Care
67.09 €
Buy
Systematic Design of Analog IP Blocks
102.71 € -7 %
Buy
Por qu? el agua del mar es salada
20.47 €
Buy
Humanities Emergency: Poetry of a Medical Student
14.02 € -7 %
Buy
Introduction to Political Theory
199.28 €
Buy
When the United States Spoke French
21.38 € -18 %
Buy
Public Papers of John A. Dix, Governor, 1911. Volume 1 of 2
36.32 € -2 %
Buy
Ghana 1999, le petit fute
19.77 €
Buy
Petit Collage Deluxe Baby Book and Memory Box
33.79 € -25 %
Pre-order
Banach Algebras and the General Theory of *-Algebras: Volume 1, Algebras and Banach Algebras
253.27 €
Buy
First Course in Probability and Markov Chains
95.45 €
Buy
Kunstraub und Kunstschutz, Band I
32.89 € -11 %
Buy
Brown Alumni Monthly, Vol. 10
10.08 €
Buy
Informationsmodelle fuer ueberbetriebliche Prozesse
57.20 €
Buy
Pessoa múltiple . Antología bilingüe
28.24 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Interactive Systems. Design, Specification, and Verification

Book details
Synopsis
Trending among others

You get 135 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer science

55.69 €

Full title: Interactive Systems. Design, Specification, and Verification
Subtitle: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers
Author: Gavin Doherty, Ann Blandford
Language: English
Binding: Paperback
Number of pages: 276
EAN: 9783540695530
ISBN: 3540695532
ID: 01567949
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 444 g
Dimensions: 235 × 155 × 19 mm
Date of publishing: 18. January 2007