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

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.29 €
Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

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

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

ANDO COMPLETE WORKS 1975 TODAY TASCHEN / Book Hardback
common.buy 214.63 €
Soul Search Diane Ranker Riesen / Book Paperback
common.buy 13.51 €
Coming soon
Interior Chinatown: WINNER OF THE NATIONAL BOOK AWARD 2020 Charles Yu / Book Paperback
common.buy 13.91 €
And Jesus Came Back John Bruni / Book Paperback
common.buy 13.00 €
If You Can't Misbehave, Then Don't Behave At All (The Journey Ends) Harvey Price / Book Paperback
common.buy 11.19 €
Best UCAS Personal Statement: English Chris Christofi / Book Paperback
common.buy 7.45 €
Image Factories. Infographics 1920-1945 Helena Doudova / Book Paperback
common.buy 38.52 €
Advanced Guide to Python 3 Programming John Hunt / Book Paperback
common.buy 75.44 €
Boat Called Annalise Lynne Hjelmgaard / Book Paperback
common.buy 10.78 €
Language Awareness in Business and the Professions Erika Darics / Book Paperback
common.buy 32.17 €
Lands of Castile and Other Poems Antonio Machado / Book Paperback
common.buy 57.99 €
Lady Boss Jackie Collins / Book Paperback
common.buy 13.61 €
Wilderness Survival Handbook Michael Pewtherer / Book Paperback
common.buy 24.30 €
QUICK PYTHON BK E04 CEDER NAOMI / Book Paperback
common.buy 52.94 €
CD-ROM Drive Sorin G. Stan / Book Paperback
common.buy 102.67 €

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?