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

Up to 30 days for returns

Customers also purchased

Wurzel AK in Indogermanischen Johannes Schmidt / Book Paperback
common.buy 14.35 €
donna sola al comando. Marisa Bellisario, il grande sogno Bruna Osimo / Book Paperback
common.buy 18.69 €
Äquivalenzprinzip und Staatsfinanzierung. Bernd Hansjürgens / Book Paperback
common.buy 105.94 €
Der XXL Faktor Brigitte Moser / Book Paperback
common.buy 16.17 €
INTERMEDIACION INMOBILIARIA ANTE LOS NUEVOS RETOS DE LA VIV / Book Paperback
common.buy 62.97 €
Lecons Sur Les Phenomenes Physiques de la Vie. Tome 3 François Magendie / Book Paperback
common.buy 32.14 €
Leer y oir leer ANTONIO CASTILLO / Book Paperback
common.buy 23.44 €
Estrategia recreativa-comunitaria para potenciar la educacion ambiental Rodriguez Nancy Francisca / Book Paperback
common.buy 32.04 €
Resistencias : ensayo de topología general Maira Góngora Ricardo / Book Paperback
common.buy 25.16 €

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

Exploring Digital Design Ina Wagner / Book Hardback
common.buy 185.70 €
QUICK PYTHON BK E04 CEDER NAOMI / Book Paperback
common.buy 53.06 €
Language Awareness in Business and the Professions Erika Darics / Book Paperback
common.buy 32.24 €
Advanced Guide to Python 3 Programming John Hunt / Book Paperback
common.buy 75.61 €
ANDO COMPLETE WORKS 1975 TODAY TASCHEN / Book Hardback
common.buy 187.92 €
Coming soon
Interior Chinatown: WINNER OF THE NATIONAL BOOK AWARD 2020 Charles Yu / Book Paperback
common.buy 13.94 €
The Works of Michael Bruce the Works of Michael Bruce: With Memoir and Notes (1865) with Memoir and Notes (1865) Michael Bruce / Book Paperback
common.buy 29.71 €
Soul Search Diane Ranker Riesen / Book Paperback
common.buy 13.54 €
And Jesus Came Back John Bruni / Book Paperback
common.buy 13.03 €
If You Can't Misbehave, Then Don't Behave At All (The Journey Ends) Harvey Price / Book Paperback
common.buy 11.21 €
Best UCAS Personal Statement: English Chris Christofi / Book Paperback
common.buy 7.47 €
Image Factories. Infographics 1920-1945 Helena Doudova / Book Paperback
common.buy 38.41 €
Boat Called Annalise Lynne Hjelmgaard / Book Paperback
common.buy 10.81 €
CD-ROM Drive Sorin G. Stan / Book Paperback
common.buy 102.90 €
The Boy's Book Of Inventions - Stories Of The Wonders of Modern Science Ray Baker / Book Hardback
common.buy 35.68 €
New Roles of Parliamentary Committees Davidson / Book Hardback
common.buy 246.26 €
Lands of Castile and Other Poems Antonio Machado / Book Paperback
common.buy 58.12 €
Lady Boss Jackie Collins / Book Paperback
common.buy 12.32 €
Wilderness Survival Handbook Michael Pewtherer / Book Paperback
common.buy 24.35 €

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?