Related Books

Interactive Systems: Design, Specification, and Verification
Language: en
Pages: 274
Authors: Bodo Urban
Categories: Computers
Type: BOOK - Published: 2003-07-01 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive S
Design, Specification and Verification of Interactive Systems ’98
Language: en
Pages: 336
Authors: Panos Markopoulos
Categories: Computers
Type: BOOK - Published: 2013-11-11 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Does modelling, formal or otherwise, play a role in designing interactive systems? A proliferation of interactive devices and technologies is used in an ever in
Interactive Systems
Language: en
Pages: 217
Authors: Chris Johnson
Categories: Interactive computer systems
Type: BOOK - Published: 2001 - Publisher:

DOWNLOAD EBOOK

Interactive Systems. Design, Specification, and Verification
Language: en
Pages: 432
Authors: Joaquim Jorge
Categories: Computers
Type: BOOK - Published: 2003-12-15 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Syst
Interactive Systems. Design, Specification, and Verification
Language: en
Pages: 276
Authors: Gavin Doherty
Categories: Computers
Type: BOOK - Published: 2007-05-15 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, and Verification of Interactive Syst