Items related to Interactive Systems. Design Specification, and Verification:...
Interactive Systems. Design Specification, and Verification: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, ... (Lecture Notes in Computer Science, 3941) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Synopsis
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2005, held in Newcastle upon Tyne, UK, in July 2005. The 20 revised full papers, 1 keynote paper, and 4 summaries of group discussions have passed through two rounds of reviewing, selection, and improvement. The papers 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.
"About this title" may belong to another edition of this title.
Search results for Interactive Systems. Design Specification, and Verification:...
Stock Image
Interactive Systems. Design Specification, and Verification : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers
Print on DemandSeller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Seller Inventory # 6666-IUK-9783540341451
Buy New
£ 47.76
£ 4.99 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 20 available
Seller Image
Interactive Systems. Design Specification, And Verification : 12th International Workshop, Dsvis 2005, Newcastle upon Tyne, Uk, July 13-15, 2005, Revised Papers
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 6381081-n
Seller Image
Interactive Systems. Design Specification, And Verification : 12th International Workshop, Dsvis 2005, Newcastle upon Tyne, Uk, July 13-15, 2005, Revised Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 6381081-n
Buy New
£ 50.24
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Interactive Systems. Design Specification, and Verification
Published by
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2006
ISBN 10: 3540341455
ISBN 13: 9783540341451
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 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. 276 pp. Englisch. Seller Inventory # 9783540341451
Stock Image
Interactive Systems. Design Specification, and Verification
Seller: Books Puddle, Woodside, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 286. Seller Inventory # 263075958
Stock Image
Interactive Systems. Design Specification, and Verification
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 286 Illus. Seller Inventory # 5853353
Buy New
£ 72.89
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Interactive Systems. Design Specification, and Verification
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 286. Seller Inventory # 183075964
Seller Image
Interactive Systems. Design Specification, and Verification : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers
Published by
Springer, Berlin, Springer, 2006
ISBN 10: 3540341455
ISBN 13: 9783540341451
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 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. Seller Inventory # 9783540341451
Seller Image
Interactive Systems. Design Specification, and Verification
Published by
Springer Berlin Heidelberg, 2006
ISBN 10: 3540341455
ISBN 13: 9783540341451
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. Condition: New. Refereed post-proceedings of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2005Presents 20 revised full papers, 1 keynote paper, and 4 summaries of group discussionsTopics include . Seller Inventory # 4888034
Buy New
£ 52.46
£ 40.99 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Interactive Systems. Design Specification, and Verification | 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Interactive Systems. Design Specification, and Verification | 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers | Stephen W. Gilroy (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2006 | Springer | EAN 9783540341451 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu. Seller Inventory # 102205630