Interactive Systems. Design Specification, and Verification
Language: English
Published by Springer, 2006
- Softcover
- New

Seller: Majestic Books, Hounslow, United KingdomMajestic Books
AbeBooks seller since January 19, 2007
Condition: New
US$ 93.71
Quantity: 4 available
Add to basketItem description from seller
Print on Demand pp. 286 Illus.
Seller Inventory # 5853353
- Title
- Interactive Systems. Design Specification, and Verification
- Publisher
- Springer
- Publication year
- 2006
- Condition
- New
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 3540341455
- ISBN 13
- 9783540341451
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.
"Synopsis" may belong to another edition of this title.
Majestic Books
Hounslow, United Kingdom
AbeBooks seller since January 19, 2007
Shipping rates from United Kingdom to U.S.A.
| Item | 14 to 45 business days | 5 to 10 business days |
|---|---|---|
| First item | US$ 8.61 | US$ 13.04 |
Payment methods
Store description
We specialise in General Interest Books from South Asian countries.
Specialty
Art, Economics, Buddhism, Religion, Sociology, PaintingSeller's business information
BOOKS AND PERIODICALS AGENCY LTD
Unit 4 Alice way,
Hounslow, United Kingdom TW3 3UD
Terms of sale
Returns accepted if you are not satisfied with the Service or Book.
Shipping terms
Best packaging and fast delivery