Book PDf: Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers

Download Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers

Author: Jan Gulliksen (auth.), Gavin Doherty, Ann Blandford (eds.)

ISBN: 9783540695530

Publisher: Springer-Verlag Berlin Heidelberg

Year: 2007

Publisher Edition (Original Quality)

Save

User Rating: (0.0):

File Size

2.06 MB

Pages

279.0

Price: 6.99€

Description

Introduction to the book Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers The book Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers, written by Deffieux and Descamps, is considered one of the most important works in its field. This book contains valuable and useful content that is highly suitable for those interested in this subject.

About the book Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers By drawing on the authors' experience and knowledge, this work provides readers with comprehensive and practical information.

Experience downloading the book Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers through the Cyber Uni website.

Best Selling Books
Intelligence in Communication...
Intelligence in Communication Systems: IFIP International Conference, INTELLCOMM 2004, Bangkok,...
Author:

Reda Reda (auth.),...

Year:

2004

Technologies for E-Services:...
Technologies for E-Services: 4th International Workshop, TES 2003, Berlin, Germany,...
Author:

Rania Khalaf, Frank...

Year:

2003

Security Technology: International...
Security Technology: International Conference, SecTech 2009, Held as Part of...
Author:

Hsiang-Cheh Huang, Feng-Cheng...

Year:

2009