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 11.49 €
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.62 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Une vie en dessins - Lambil et Cauvin - Les Tuniques Bleues Cauvin / Book Hardback
common.buy 81.72 €
Puls życia NEON. Szkoła podstawowa klasa 7. Podręcznik. Nowa edycja 2023-2025 Jefimow Małgorzata / Book Paperback
common.buy 15.25 €
Léčivé rostliny… které ještě neznáte - plevele, divoké rostliny, neofyty Wolf-Dieter Storl / Book Paperback
common.buy 16.26 €
Diferenciální diagnostika bolestivého kloubu v klinické praxi Ladislav Šenolt / Book Hardback
common.buy 37.88 €
La curación de los chakras y el equilibrio energético mediante la atención plena MICHELLE S. FONDIN / Book Paperback
common.buy 13.53 €
MITOLOGIA CLASICA RAMON-LLUCH / Book Book
common.buy 7.67 €
Notizbuch A5 blanko - 100 Seiten 90g/m? - Soft Cover Gelb - FSC Papier Notebook A5 / Book Paperback
common.buy 6.66 €
Akutes Abdomen Hubert Hauser / Book Hardback
common.buy 328.55 €
Hospodaření malého podniku David Targett / Book Paperback
common.buy 5.24 €
Ošetřovatelské postupy v péči o nemocné III Petra Sedlářová / Book Paperback
common.buy 16.26 €
AK 8001 Nizozemsko 1:300 000 Opracowanie Zbiorowe / Printed items Map
common.buy 11.61 €
Das europäische Umweltinformationszugangsrecht als Vorbild eines nationalen Rechts der Aktenöffentlichkeit. Jochen Strohmeyer / Book Paperback
common.buy 103.35 €
Maria Callas Jürgen Kesting / Book Paperback
common.buy 13.53 €
Struktur der Tarifverhandlungen in der BRD Teresa Wanczura / Book Paperback
common.buy 16.16 €
Abrechnungsverhalten in deutschen Krankenhausern. Eine Empirische Analyse Joachim Pilzecker / Book Paperback
common.buy 42.73 €
Galipettes Félix Galipaux / Book Paperback
common.buy 16.16 €
Abwehr und Abgrenzung Klaus Köhler / Book Paperback
common.buy 22.32 €
Motive im Minnesang. Gewalt und Augen Maximilian Monsees / Book Paperback
common.buy 16.16 €
Top
Akame ga KILL!. Bd.1 Takahiro / Book Paperback
common.buy 8.68 €
Le Voyage d'Outremer (Egypte, Mont Sinay, Palestine) (Ed.1884) Jean Thenaud / Book Paperback
common.buy 28.18 €
L'Itineraire de Platon: Suivi de En Maniere D'Autobiographie Gilbert Ryle / Book Paperback
common.buy 39.09 €
L'apport d'une approche systémique en médiation Philippe Nicod / Book Paperback
common.buy 35.65 €
An den Ufern des Araxes Kurt Aram / Book Paperback
common.buy 35.65 €
Jean Le Miracule - Bonjour L'arstiste ! Alain Vidal / Book Paperback
common.buy 16.76 €

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.62 €
American Encounters Stephanie Mayer Heydt / Book Paperback
common.buy 20.80 €
Business with Connect Plus Access Code: Connecting Principles to Practice William Nickels / Book Hardback
common.buy 296.52 €
Kathryn Bigelow Peter Keough / Book Paperback
common.buy 33.63 €
Visit to Japan, China, and India Robert Nicholas Fowler / Book Hardback
common.buy 34.44 €
Restorative Readings Bruce C. Birch / Book Paperback
common.buy 26.86 €
Unholy Path of a Reluctant Adventurer Ph D Rosie Kuhn / Book Paperback
common.buy 12.01 €
Bereshit, the Book of Beginnings David B. Friedman / Book Paperback
common.buy 20.90 €
Aorta Boudoulas Harisios / Book Hardback
common.buy 194.98 €
Geomechanical Processes during Underground Mining Genadiy Pivnyak / Book Hardback
common.buy 222.77 €
Log and Timber Frame Homes Tina Skinner / Book Hardback
common.buy 34.04 €
Easy Graded Organ Music Book 2 C. H. Trevor / Printed items Sheet music
common.buy 19.79 €
Dirt Track Chassis & Suspension Circle Track Magazine / Book Paperback
common.buy 31.21 €
Dreaming of a National Socialist Australia Barbara / Book Paperback
common.buy 21.11 €
Lifestyle Pre-Intermediate Coursebook and CD-Rom Pack Vicki Hollett / Book Paperback
common.buy 32.72 €
Mobile Suit Gundam Thunderbolt, Vol. 8 Yasuo Ohtagaki / Book Paperback
common.buy 12.11 €
Airtight Case: A Lindsay Chamberlain Novel Beverly Connor / Book Paperback
common.buy 16.16 €
Victims & Villains: Barbie and Ken Meet Sherlock Holmes Derham Groves / Book Paperback
common.buy 17.47 €
Black Hawk Down: The History of the Battle of Mogadishu Charles River Editors / Book Paperback
common.buy 11.31 €
Fantasy World Vol. 2: Grayscale Coloring Book for Adults Majestic Coloring / Book Paperback
common.buy 10.50 €
Seventeen Hideo Yokoyama / Book Paperback
common.buy 13.73 €
Great Expectations: The 1871 Dramatic Adaptation W S Gilbert / Book Paperback
common.buy 10.30 €
Great Fear James Harris / Book Paperback
common.buy 46.16 €
Buddhism in Christendom or Jesus the Essene Arthur Lillie / Book Paperback
common.buy 38.18 €

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?