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
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Interactive Systems. Design Specification, and Verification

12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers

Language EnglishEnglish
Book Paperback
Book Interactive Systems. Design Specification, and Verification Stephen W. Gilroy
Libristo code: 01562053
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, May 2006
This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Sp... Full description
? points 141 b
58.52 €
Low in stock at our supplier Shipping in 13-18 days

30-day return policy

Customers also purchased

INTERMEDIACION INMOBILIARIA ANTE LOS NUEVOS RETOS DE LA VIV / Book Paperback
common.buy 69.15 €
Leer y oir leer ANTONIO CASTILLO / Book Paperback
common.buy 26.01 €
Wurzel AK in Indogermanischen Johannes Schmidt / Book Paperback
common.buy 14.37 €
Resistencias : ensayo de topología general Maira Góngora Ricardo / Book Paperback
common.buy 25.20 €
Estrategia recreativa-comunitaria para potenciar la educacion ambiental Rodriguez Nancy Francisca / Book Paperback
common.buy 32.09 €
Der XXL Faktor Brigitte Moser / Book Paperback
common.buy 16.19 €
Äquivalenzprinzip und Staatsfinanzierung. Bernd Hansjürgens / Book Paperback
common.buy 95.58 €

This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2005. The 20 revised full papers, 1 keynote paper, and 4 summaries of group discussions are organized in topical sections on teams and groups, sketches and templates, away from the desktop, migration and mobility, analysis tools, model-based design processes and tools, and group discussions.

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 Stephen W. Gilroy, Michael D. Harrison
Language English
Binding Book - Paperback
Date of issue 2006
Number of pages 276
EAN 9783540341451
ISBN 3540341455
Libristo code 01562053
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 890
Dimensions 152 x 229 x 19

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 > Software Engineering
Computing & Information Technology > Databases > Data warehousing
Computing & Information Technology > Databases > Information retrieval
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
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

CD-ROM Drive Sorin G. Stan / Book Paperback
common.buy 103.07 €
Language Awareness in Business and the Professions Erika Darics / Book Paperback
common.buy 32.29 €
Wilderness Survival Handbook Michael Pewtherer / Book Paperback
common.buy 24.39 €
The Doctrines Of Election, And Final Perseverance, Stated From Scripture Thomas Scott / Book Hardback
common.buy 31.48 €
Boat Called Annalise Lynne Hjelmgaard / Book Paperback
common.buy 10.82 €
Soul Search Diane Ranker Riesen / Book Paperback
common.buy 13.56 €
If You Can't Misbehave, Then Don't Behave At All (The Journey Ends) Harvey Price / Book Paperback
common.buy 11.23 €
Best UCAS Personal Statement: English Chris Christofi / Book Paperback
common.buy 7.48 €

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?