Items related to Interactive Systems. Design, Specification, and Verification...
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) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2007
- ISBN 10 3540695532
- ISBN 13 9783540695530
- BindingPaperback
- LanguageEnglish
- Number of pages287
- EditorDoherty Gavin, Blandford Ann
Search results for Interactive Systems. Design, Specification, and Verification...
Stock Image
Interactive Systems. Design, Specification, And Verification
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-87212
Quantity: 1 available
Stock Image
Interactive Systems. Design, Specification, And Verification
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-269146
Quantity: 1 available
Seller Image
Interactive Systems : Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 6429490-n
Quantity: Over 20 available
Stock Image
Interactive Systems. Design, Specification, and Verification
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 286. Seller Inventory # 26301887
Quantity: 1 available
Stock Image
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)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020175161
Quantity: Over 20 available
Seller Image
Interactive Systems. Design, Specification, and Verification: 13th International Workshop, Dsvis 2006, Dublin, Ireland, July 26-28, 2006, Revised Pape (Paperback or Softback)
Published by
Springer 1/18/2007, 2007
ISBN 10: 3540695532
ISBN 13: 9783540695530
New
Paperback or Softback
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Seller rating 5 out of 5 stars
Paperback or Softback. Condition: New. Interactive Systems. Design, Specification, and Verification: 13th International Workshop, Dsvis 2006, Dublin, Ireland, July 26-28, 2006, Revised Pape 0.89. Book. Seller Inventory # BBS-9783540695530
Quantity: 5 available
Stock Image
Interactive Systems. Design, Specification, and Verification
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 286 Illus. Seller Inventory # 7546080
Quantity: 1 available
Stock Image
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)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783540695530
Quantity: Over 20 available
Stock Image
Interactive Systems. Design, Specification, and Verification
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. pp. 286. Seller Inventory # 18301877
Quantity: 1 available
Seller Image
Interactive Systems : Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 6429490-n
Quantity: Over 20 available