Items related to Design, Specification and Verification of Interactive...

Design, Specification and Verification of Interactive Systems '97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997 - Softcover

 
9783709168790: Design, Specification and Verification of Interactive Systems '97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997
Softcover
ISBN 10: 3709168791 ISBN 13: 9783709168790
Publisher: Springer, 2011

This specific ISBN edition is currently not available.

Synopsis

An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. Techniques are being developed that facilitate the expression of user-oriented requirements and the refinement and checking of specifications of interactive systems. This book reflects the state of the art in this important area and also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2011
Language
English
ISBN 10 
3709168791
ISBN 13 
9783709168790
Binding
Paperback
Number of pages
336
Editor
Harrison Michael D., Torres Juan C.

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783211830550: Design, Specification and Verification of Interactive Systems ’97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4–6, 1997

Featured Edition

ISBN 10:  3211830553 ISBN 13:  9783211830550
Publisher: Springer, 1997
Softcover