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
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
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
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. pp. 286. Seller Inventory # 18301877
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: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540695530_new
Quantity: Over 20 available
Seller Image
Interactive Systems. Design, Specification, and Verification
Published by
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2007
ISBN 10: 3540695532
ISBN 13: 9783540695530
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 276 pp. Englisch. Seller Inventory # 9783540695530
Quantity: 2 available
Seller Image
Interactive Systems. Design, Specification, and Verification : 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers
Published by
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2007
ISBN 10: 3540695532
ISBN 13: 9783540695530
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783540695530
Quantity: 2 available
Stock Image
Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers . / Programming and Software Engineering)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 1st edition. 269 pages. 9.00x6.00x0.60 inches. In Stock. Seller Inventory # x-3540695532
Quantity: 2 available