Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Interactive Systems. Design, Specification, and Verification

Name: Interactive Systems. Design, Specification, and Verification
Brand: Springer, Berlin
SKU: 01563285
Price: 20662 HUF
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

136 b

20 662 Ft

In stock at our supplier Shipping in 5-8 days

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

6 209 Ft

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

Hardback

30 004 Ft

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

Hardback

15 124 Ft

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

Hardback

7 409 Ft

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

Paperback

1 550 Ft

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

Paperback

14 362 Ft

Akame ga KILL!. Bd.1 Takahiro

Paperback

3 546 Ft

Maria Callas Jürgen Kesting

Paperback

5 461 Ft

AK 8001 Nizozemsko 1:300 000 Opracowanie Zbiorowe

Map

4 597 Ft

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

Paperback

6 497 Ft

Hospodaření malého podniku David Targett

Paperback

2 102 Ft

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.