Check order status

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

Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Interactive Systems. Design, Specification, and Verification

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

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

Philippe Palanque

Fabio Patern

Language

English

Book Paperback

Libristo code: 01563285

Publishers Springer, Berlin, November 2000

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on... Full description

Libristo code: 01563285

111 b

45.49 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Léčivé rostliny… které ještě neznáte - plevele, divoké rostliny, neofyty Wolf-Dieter Storl

Paperback

14.09 €

Une vie en dessins - Lambil et Cauvin - Les Tuniques Bleues Cauvin

Hardback

66.59 €

Diferenciální diagnostika bolestivého kloubu v klinické praxi Ladislav Šenolt

Hardback

32.39 €

Мир за Великим Туманом. Проникновение Марина Суржевская

Hardback

19.49 €

Literární výchova pro 6. - 9.ročník základní školy Josef Adlt

Paperback

3.59 €

L'apport d'une approche systémique en médiation Philippe Nicod

Paperback

31.09 €

Akame ga KILL!. Bd.1 Takahiro

Paperback

9.50 €

Maria Callas Jürgen Kesting

Paperback

14.99 €

AK 8001 Nizozemsko 1:300 000 Opracowanie Zbiorowe

Map

12.90 €

Ošetřovatelské postupy v péči o nemocné III Petra Sedlářová

Paperback

13.89 €

Hospodaření malého podniku David Targett

Paperback

4.49 €

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.