Code: 01563285

Interactive Systems. Design, Specification, and Verification

Name: Interactive Systems. Design, Specification, and Verification
Brand: Springer, Berlin
SKU: 01563285
Price: 51.55 EUR
Availability: InStock
Author: Philippe Palanque
ISBN: 9783540416630

by Philippe Palanque, Fabio Patern

Language: English
Binding: Paperback
Number of pages: 258
Publisher: Springer, Berlin, 2001
More about this

51.55 €

RRP: 55.82 €

You save 4.27 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Mobile Suit Gundam Thunderbolt, Vol. 8
11.29 € -25 %
Buy
My Very First Book of Shapes
6.55 € -24 %
Buy
Children of the Whales, Vol. 17
12.50 € -31 %
Buy
Ošetřovatelské postupy v péči o nemocné III
13.51 € -23 %
Buy
Puls życia NEON. Szkoła podstawowa klasa 7. Podręcznik. Nowa edycja 2023-2025
15.23 €
Buy
Fantasy World Vol. 2: Grayscale Coloring Book for Adults
9.88 € -7 %
Buy
Akame ga KILL!. Bd.1
8.67 € -9 %
Buy
Lifestyle Pre-Intermediate Coursebook and CD-Rom Pack
32.68 €
Buy
Léčivé rostliny… které ještě neznáte - plevele, divoké rostliny, neofyty
16.03 € -21 %
Buy
Pitch Perfect
11.80 € -25 %
Buy
Hospodaření malého podniku
4.63 € -23 %
Buy
Maria Callas
13.51 € -10 %
Buy
Diferenciální diagnostika bolestivého kloubu v klinické praxi
29.66 € -27 %
Buy
Easy Graded Organ Music Book 2
19.87 € -14 %
Buy
Bird's Higher Engineering Mathematics
71.73 €
Buy
Radioactive Releases in the Environment - Impact and Assessment
94.94 € -10 %
Buy
Une vie en dessins - Lambil et Cauvin - Les Tuniques Bleues
81.62 €
Buy
Coming Attractions
34 €
Buy
AK 8001 Nizozemsko 1:300 000
11.59 € -10 %
Buy
Black Hawk Down: The History of the Battle of Mogadishu
10.79 € -6 %
Buy
Log and Timber Frame Homes
31.88 € -25 %
Buy
Seventeen
11.80 € -25 %
Buy
Inshore Fly Fishing
23.60 € -18 %
Buy
Surgical Talk: Lecture Notes In Undergraduate Surgery (3rd Edition)
48.93 €
Buy
Kathryn Bigelow
31.98 €
Buy
Buddhism in Christendom or Jesus the Essene
36.32 € -2 %
Buy
Great Fear
44.09 €
Buy
Dirt Track Chassis & Suspension
31.17 € -9 %
Buy
Bereshit, the Book of Beginnings
19.57 € -25 %
Buy
Akutes Abdomen
328.14 € -7 %
Buy
StEphan Crasneanscki /anglais
54.38 €
Buy
Le Voyage d'Outremer (Egypte, Mont Sinay, Palestine) (Ed.1884)
25.32 € -3 %
Buy
Notizbuch A5 blanko - 100 Seiten 90g/m? - Soft Cover Gelb - FSC Papier
6.65 €
Buy
The Chronicles of Farro: The Sacred Messenger
24.31 € -6 %
Buy
Airtight Case: A Lindsay Chamberlain Novel
15.33 € -7 %
Buy
Encountering the World of Islam
28.55 € -24 %
Buy
Victims & Villains: Barbie and Ken Meet Sherlock Holmes
16.64 € -6 %
Buy
Intelligent Systems for Knowledge Management
167.29 €
Buy
Abwehr und Abgrenzung
22.29 € -11 %
Buy
Restorative Readings
25.52 € -2 %
Buy
Geomechanical Processes during Underground Mining
222.49 €
Buy
EduMatch(R) Snapshot in Education 2018
11.19 € -7 %
Buy
Unholy Path of a Reluctant Adventurer
11.29 € -24 %
Buy
L'apport d'une approche systémique en médiation
35.61 € -11 %
Buy
Feminism, Gender and Universities
73.65 €
Buy
La curación de los chakras y el equilibrio energético mediante la atención plena
15.73 € -9 %
Buy
Dreaming of a National Socialist Australia
19.87 € -18 %
Buy
Abrechnungsverhalten in deutschen Krankenhausern. Eine Empirische Analyse
42.67 € -11 %
Buy
The Things I Would Like To Be From A to Z
9.78 € -6 %
Buy
Computing Systems for Global Telecommunications
205.23 € -7 %
Buy
How Belgium Saved Europe (1915)
27.34 € -2 %
Buy
MITOLOGIA CLASICA
7.66 €
Buy
Sustainable Suburbia?
152.36 €
Pre-order
Das europäische Umweltinformationszugangsrecht als Vorbild eines nationalen Rechts der Aktenöffentlichkeit.
103.22 € -6 %
Buy
The Puritan in the Enlightenment: Franklin and Edwards
21.08 € -1 %
Buy
Manchester Airport
13.92 € -24 %
Pre-order
Verbot der Quinten-Parallelen
15.23 € -10 %
Buy
Great Expectations: The 1871 Dramatic Adaptation
9.68 € -7 %
Buy
Educational Innovation in Economics and Business II
102.71 € -7 %
Buy
American Encounters
19.46 € -22 %
Buy
Untersuchungen zu einer mikrooekonomischen Theorie der Gewerkschaften
64.07 €
Buy
Jean Le Miracule - Bonjour L'arstiste !
16.74 €
Buy
Security and Privacy in Ad-hoc and Sensor Networks
51.55 € -7 %
Buy
Visit to Japan, China, and India
32.68 € -2 %
Buy
Butler's Three Sermons Upon Human Nature And Dissertation On Virtue (1848)
21.89 € -2 %
Buy
Business with Connect Plus Access Code: Connecting Principles to Practice
296.15 €
Buy
An den Ufern des Araxes
35.61 € -11 %
Buy
Android Best Practices
34.30 € -9 %
Buy
Techniques in Prion Research
174.46 € -7 %
Buy
50 Activities for the First Day of School
9.37 € -2 %
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 125 loyalty points

Book synopsis

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS 2000, held in Limerick, Ireland in June 2000.The 14 revised full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on designing interactive distributed systems, designing user interfaces, tools for user interfaces, formal methods for human-computer interaction, and model-based design of interactive systems.

Book details

Book category Books in English Computing & information technology Computer science

51.55 €

Full title: Interactive Systems. Design, Specification, and Verification
Subtitle: 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers
Author: Philippe Palanque, Fabio Patern
Language: English
Binding: Paperback
Number of pages: 258
EAN: 9783540416630
ISBN: 3540416633
ID: 01563285
Publisher: Springer, Berlin
Weight: 381 g
Dimensions: 235 × 155 × 14 mm
Published: 2001