BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers (Lecture Notes in Computer Science, 4323)

Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers (Lecture Notes in Computer Science, 4323)

Interactive Systems. Design, Specification, and Verification: 13th International
Stock photo: cover may vary

Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers (Lecture Notes in Computer Science, 4323) Paperback - 2007 - 2007th Edition

by Doherty, Gavin [Editor]; Blandford, Ann [Editor];

Add to wish list
  • Used
  • very good
  • Paperback
Used - Very good

Description

Springer, 2007-01-18. Paperback. Very Good. 6x0x9. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Ask the seller a question Add to wish list
NZ$65.97
NZ$10.68 Delivery within USA
Standard delivery: 6 to 10 days
More delivery options
Ships from GuthrieBooks (Texas, United States)

Details

About GuthrieBooks Texas, United States

Biblio member since 2007

Selling books since 1975.. We specialize in academic monographs and technical works but we have books in every area of interest.

Terms of Sale:

Credit cards accepted through Biblio.com. Returns accepted and promptly refunded if dissatisfied in any way.

Browse books from GuthrieBooks

Reader reviews for Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers (Lecture Notes in Computer Science, 4323)

From the publisher

This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on Design, Specification, and Verification of Interactive Systems, DSVIS 2006, held in Dublin, Ireland in July 2006. The 19 revised full papers presented together with one keynote paper, and two working group reports were carefully reviewed and selected from 57 submissions during two rounds of reviewing and improvement.

tracking-