Interactive Systems. Design Specification, and Verification(English, Paperback, unknown)
- unknown
Paperback & Hardcover deals ―
Amazon IndiaGOFlipkart ₹ 3303SnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹592Book ChorGOCrosswordGODC BooksGOe-book & Audiobook deals ―
Amazon India GOGoogle Play Books GOAudible GO* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Know about the book -
Interactive Systems. Design Specification, and Verification(English, Paperback, unknown) is written by unknown and published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG. It's available with International Standard Book Number or ISBN identification 3540341455 (ISBN 10) and 9783540341451 (ISBN 13).
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.
