The following text field will produce suggestions that follow it as you type.

Home

Interactive Systems. Design Specification, and Verification: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers / Edition 1

Barnes and Noble

Loading Inventory...
Interactive Systems. Design Specification, and Verification: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers / Edition 1

Interactive Systems. Design Specification, and Verification: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers / Edition 1 in Chattanooga, TN

Current price: $54.99
Get it in StoreVisit retailer's website
Interactive Systems. Design Specification, and Verification: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers / Edition 1

Barnes and Noble

Interactive Systems. Design Specification, and Verification: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers / Edition 1 in Chattanooga, TN

Current price: $54.99
Loading Inventory...

Size: OS

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.
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.

You May Also Like

Regal Home Callisto Grommet Top Blackout Set of 2 Curtain Panel
Loading Inventory...
Loading Inventory...
Regal Home Callisto Grommet Top Blackout Set of 2 Curtain Panel
JCPenney
Current price: $29.99
Original price: $65.00
Adaptive Multimedia Retrieval: User, Context, and Feedback: Third International Workshop, AMR 2005, Glasgow, UK, July 28-29, 2005, Revised Selected Papers / Edition 1
Loading Inventory...
Loading Inventory...
Adaptive Multimedia Retrieval: User, Context, and Feedback: Third International Workshop, AMR 2005, Glasgow, UK, July 28-29, 2005, Revised Selected Papers / Edition 1
Barnes & Noble
Current price: $54.99
Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings / Edition 1
Loading Inventory...
Loading Inventory...
Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings / Edition 1
Barnes & Noble
Current price: $54.99
Generative and Transformational Techniques in Software Engineering: International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers / Edition 1
Loading Inventory...
Loading Inventory...
Generative and Transformational Techniques in Software Engineering: International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers / Edition 1
Barnes & Noble
Current price: $54.99
Combinatorial Algorithms: 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers / Edition 1
Loading Inventory...
Loading Inventory...
Combinatorial Algorithms: 21st International Workshop, IWOCA 2010, London, UK, July 26-28, 2010, Revised Selected Papers / Edition 1
Barnes & Noble
Current price: $54.99
Visual Content Processing and Representation: 9th International Workshop, VLBV 2005, Sardinia, Italy, September 15-16, 2005, Revised Selected Papers / Edition 1
Loading Inventory...
Loading Inventory...
Visual Content Processing and Representation: 9th International Workshop, VLBV 2005, Sardinia, Italy, September 15-16, 2005, Revised Selected Papers / Edition 1
Barnes & Noble
Current price: $54.99
Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers / Edition 1
Loading Inventory...
Loading Inventory...
Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers / Edition 1
Barnes & Noble
Current price: $54.99
Implementation of Functional Languages: 12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000. Selected Papers / Edition 1
Loading Inventory...
Loading Inventory...
Implementation of Functional Languages: 12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000. Selected Papers / Edition 1
Barnes & Noble
Current price: $54.99
Rapid Integration of Software Engineering Techniques: Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers / Edition 1
Loading Inventory...
Loading Inventory...
Rapid Integration of Software Engineering Techniques: Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers / Edition 1
Barnes & Noble
Current price: $54.99
Computer Supported Cooperative Work in Design II: 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers / Edition 1
Loading Inventory...
Loading Inventory...
Computer Supported Cooperative Work in Design II: 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers / Edition 1
Barnes & Noble
Current price: $109.99
Theory and Applications of Relational Structures as Knowledge Instruments II: International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers / Edition 1
Loading Inventory...
Loading Inventory...
Theory and Applications of Relational Structures as Knowledge Instruments II: International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers / Edition 1
Barnes & Noble
Current price: $54.99

Keep Shopping

On Sale

New In

Men

Women

Baby and Kids

Beauty

Jewelry

More About Barnes and Noble at Hamilton Place

Barnes & Noble is the world’s largest retail bookseller and a leading retailer of content, digital media and educational products. Our Nook Digital business offers a lineup of NOOK® tablets and e-Readers and an expansive collection of digital reading content through the NOOK Store®. Barnes & Noble’s mission is to operate the best omni-channel specialty retail business in America, helping both our customers and booksellers reach their aspirations, while being a credit to the communities we serve.

2100 Hamilton Pl Blvd, Chattanooga, TN 37421, United States

Store Info

Find Barnes and Noble at Hamilton Place in Chattanooga, TN

Visit Barnes and Noble at Hamilton Place in Chattanooga, TN
Powered by Adeptmind