phone 02/210 210 99
LIBRISTO 0
Free delivery for purchases over 59.99 €
Slovak post 4.49 € SPS courier 4.99 € GLS courier 3.99 € GLS point 2.99 € Packeta courier 4.99 € Packeta point 2.99 € SPS Parcel Shop 2.99 €
phone Contact phoneHow to shop

Design, Specification and Verification of Interactive Systems '98

Language EnglishEnglish
Book Paperback
Book Design, Specification and Verification of Interactive Systems '98 Panos Markopoulos
Libristo code: 02172046
Publishers Springer Verlag GmbH, August 1998
Does modelling, formal or otherwise, play a role in designing interactive systems? A proliferation o... Full description
? points 147 b
58.03 €
Low in stock at our supplier Shipping in 12-15 days

30-day return policy

You might also be interested in

Optimist's Daughter Eudora Welty / Paperback
common.buy 11.56 €
Ireland in Insurrection; An Englishman's Record of Fact Hugh Martin / Paperback
common.buy 29.91 €
Accidental Man Iris Murdoch / Paperback
common.buy 12.75 €
Romantic Ecology (Routledge Revivals) Jonathan Bate / Paperback
common.buy 72.49 €
niederdeutsche Schauspiel Karl Theodor Gaederk / Paperback
common.buy 32.70 €
MIA David Muus Martinson / Hardback
common.buy 35.29 €
Introduction to Geomagnetic Fields Wallace H. Campbell / Paperback
common.buy 110.98 €
COMING SOON
Most Interesting Job in the World Lesley BeakeJanette Deacon / Paperback
common.buy 6.07 €
Advances in Biomedical Sensing, Measurements, Instrumentation and Systems Aimé Lay-Ekuakille / Paperback
common.buy 175.90 €
Intersex Narratives Viola Amato / Paperback
common.buy 73.39 €

Does modelling, formal or otherwise, play a role in designing interactive systems? A proliferation of interactive devices and technologies is used in an ever increasing diversity of contexts and combinations in professional and every-day life. This development poses a significant challenge to modelling approaches used for the design of interactive systems.§The papers in this volume discuss a range of modelling approaches, the representations they use, the strengths and weaknesses of their associated specification and analysis techniques and their role in supporting the design of interactive systems.

About the book

Full name Design, Specification and Verification of Interactive Systems '98
Author Panos Markopoulos, Peter Johnson
Language English
Binding Book - Paperback
Date of issue 1998
Number of pages 326
EAN 9783211832127
ISBN 3211832122
Libristo code 02172046
Publishers Springer Verlag GmbH
Weight 660
Dimensions 170 x 244 x 14

Categories

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Operating systems
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

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