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

7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers

Language EnglishEnglish
Book Paperback
Book Interactive Systems. Design, Specification, and Verification Philippe Palanque
Libristo code: 01563285
Publishers Springer, Berlin, November 2000
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on... Full description
? points 125 b
51.55 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Hospodaření malého podniku David Targett / Book Paperback
common.buy 5.64 €
La curación de los chakras y el equilibrio energético mediante la atención plena MICHELLE S. FONDIN / Book Paperback
common.buy 15.73 €
Diferenciální diagnostika bolestivého kloubu v klinické praxi Ladislav Šenolt / Book Hardback
common.buy 40.96 €
MITOLOGIA CLASICA RAMON-LLUCH / Book Book
common.buy 7.76 €
Notizbuch A5 blanko - 100 Seiten 90g/m? - Soft Cover Gelb - FSC Papier Notebook A5 / Book Paperback
common.buy 6.65 €
Une vie en dessins - Lambil et Cauvin - Les Tuniques Bleues Cauvin / Book Hardback
common.buy 81.42 €
Ošetřovatelské postupy v péči o nemocné III Petra Sedlářová / Book Paperback
common.buy 17.55 €
Léčivé rostliny… které ještě neznáte - plevele, divoké rostliny, neofyty Wolf-Dieter Storl / Book Paperback
common.buy 16.24 €
AK 8001 Nizozemsko 1:300 000 Opracowanie Zbiorowe / Printed items Map
common.buy 11.59 €
Das europäische Umweltinformationszugangsrecht als Vorbild eines nationalen Rechts der Aktenöffentlichkeit. Jochen Strohmeyer / Book Paperback
common.buy 121.99 €
Maria Callas Jürgen Kesting / Book Paperback
common.buy 15.73 €
Akutes Abdomen Hubert Hauser / Book Hardback
common.buy 328.14 €
Abwehr und Abgrenzung Klaus Köhler / Book Paperback
common.buy 22.29 €
L'apport d'une approche systémique en médiation Philippe Nicod / Book Paperback
common.buy 35.61 €
Top
Akame ga KILL!. Bd.1 Takahiro / Book Paperback
common.buy 8.77 €
Literární výchova pro 6. - 9.ročník základní školy Josef Adlt / Book Paperback
common.buy 0.00 €
Le Voyage d'Outremer (Egypte, Mont Sinay, Palestine) (Ed.1884) Jean Thenaud / Book Paperback
common.buy 26.63 €

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.

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 Philippe Palanque, Fabio Patern
Language English
Binding Book - Paperback
Date of issue 2001
Number of pages 258
EAN 9783540416630
ISBN 3540416633
Libristo code 01563285
Publishers Springer, Berlin
Weight 381
Dimensions 155 x 235 x 14

Categories

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Graphics programming
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Information technology: general issues
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

Security and Privacy in Ad-hoc and Sensor Networks Refik Molva / Book Paperback
common.buy 51.55 €
Survivor's Guide to Family Happiness Maddie Dawson / Book Paperback
common.buy 12.50 €
Fantasy World Vol. 2: Grayscale Coloring Book for Adults Majestic Coloring / Book Paperback
common.buy 10.48 €
Coloring Designs Ruth Mason / Book Paperback
common.buy 10.28 €
Great Expectations: The 1871 Dramatic Adaptation W S Gilbert / Book Paperback
common.buy 10.28 €
Great Fear James Harris / Book Paperback
common.buy 48.02 €
Feminism, Gender and Universities DAVID / Book Paperback
common.buy 81.22 €
50 Activities for the First Day of School Walton Burns / Book Paperback
common.buy 9.88 €
Bereshit, the Book of Beginnings David B. Friedman / Book Paperback
common.buy 20.88 €
Black Hawk Down: The History of the Battle of Mogadishu Charles River Editors / Book Paperback
common.buy 11.29 €
Fox-Hunting In Ireland Various / Book Paperback
common.buy 27.13 €
Encountering the World of Islam Keith E. Swartley / Book Paperback
common.buy 30.46 €
Revere Beach Leah A. Schmidt / Book Paperback
common.buy 20.78 €
American Encounters Stephanie Mayer Heydt / Book Paperback
common.buy 20.68 €
Business with Connect Plus Access Code: Connecting Principles to Practice William Nickels / Book Hardback
common.buy 303.01 €
Kathryn Bigelow Peter Keough / Book Paperback
common.buy 35.51 €
Visit to Japan, China, and India Robert Nicholas Fowler / Book Hardback
common.buy 34.40 €
Restorative Readings Bruce C. Birch / Book Paperback
common.buy 26.83 €
Unholy Path of a Reluctant Adventurer Ph D Rosie Kuhn / Book Paperback
common.buy 12.00 €
Buddhism in Christendom or Jesus the Essene Arthur Lillie / Book Paperback
common.buy 38.13 €
StEphan Crasneanscki /anglais CRASNEANSCKI STEPHAN / Book Hardback
common.buy 54.18 €
Top
Children of the Whales, Vol. 17 Abi Umeda / Book Paperback
common.buy 10.79 €
Bird's Higher Engineering Mathematics Bird / Book Paperback
common.buy 75.06 €
How Belgium Saved Europe (1915) Charles Sarolea / Book Paperback
common.buy 28.75 €

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?