Related Books

Design, Specification and Verification of Interactive Systems ’95
Language: en
Pages: 384
Authors: Philippe Palanque
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book is the final outcome of the Eurographics Workshop on Design, Specification and Verification of Interactive Systems, that was held in Bonas, from June
Design, Specification and Verification of Interactive Systems ’96
Language: en
Pages: 398
Authors: Francois Bodart
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Making systems easier to use implies an ever increasing complexity in managing communication between users and applications. Indeed an increasing part of the ap
Design, Specification and Verification of Interactive Systems ’99
Language: en
Pages: 292
Authors: D.J. Duke
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book is the formal proceedings of the Eurographics Workshop on Design, Specifi cation and Verification ofInteractive Systems, DSV-IS'99, which was held at
Interactive Systems. Design Specification, and Verification
Language: en
Pages: 277
Authors: Stephen W. Gilroy
Categories: Computers
Type: BOOK - Published: 2006-05-26 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS
Interactive Systems. Design, Specification, and Verification
Language: en
Pages: 253
Authors: Philippe Palanque
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

DOWNLOAD EBOOK

The wait for the year 2000 was marked by the fear of possible bugs that might have arisen at its beginning. One additional fear we had during this wait was whet