Interactive Systems. Design Specification, and Verification
Digital bok /
2020
/ Engelsk
Product details
ISBN
9783540341468
Published
2020
Edition
1. edition
Publisher
Springer Nature
Language
Product language
Engelsk
Format
Product format
Digital bok
Interactive Systems. Design Specification, and Verification
Digital bok /
2020
/ Engelsk
Digital bok /
2020
/ Engelsk
188,-
Lowest price in the last 30 days: 188,-
This is a digital book that is bound to the book reader Bookshelf. You will receive an activation link by email once you have completed your purchase.
Click here for more info.
This book constitutes the refereed post-proceedings of the 12th
International Workshop on Design, Specification, and Verification of
Interactive Systems, DSV-IS 2005. The 20 revised full papers, 1
keynote paper, and 4 summaries of group discussions are organized in
topical sections on teams and groups, sketches and templates, away
from the desktop, migration and mobility, analysis tools, model-based
design processes and tools, and group discussions.
Read more
12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers
This book constitutes the refereed post-proceedings of the 12th
International Workshop on Design, Specification, and Verification of
Interactive Systems, DSV-IS 2005. The 20 revised full papers, 1
keynote paper, and 4 summaries of group discussions are organized in
topical sections on teams and groups, sketches and templates, away
from the desktop, migration and mobility, analysis tools, model-based
design processes and tools, and group discussions.
Read more
12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers
Product details
ISBN
9783540341468
Published
2020
Edition
1. edition
Publisher
Springer Nature
Language
Product language
Engelsk
Format
Product format
Digital bok