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

Skip to content

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

Interactive Systems. Design, Specification, and Verification: 10th International Workshop, Dsv-Is 2003, Funchal, Madeira Island, Portugal, June 11-13, Paperback - 2003 - 2003rd Edition

by Joaquim Jorge (Editor); Nuno Jardim Nunes (Editor); Joao Falcao E. Cunha (Editor)

Add to wish list

Reader reviews for Interactive Systems. Design, Specification, and Verification: 10th International Workshop, Dsv-Is 2003, Funchal, Madeira Island, Portugal, June 11-13,

From the publisher

This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2003, held in Funchal, Madeira Island, Portugal, in June 2003.

The 26 revised full papers and 5 revised short papers presented together with an invited paper have passed through two rounds of reviewing, selection, and improvement. The papers are organized in topical sections on test and evaluation, Web and groupware, tools and technologies, task modeling, model-based design, mobile and multiple devices, UML, and specification languages.

Details

  • Title Interactive Systems. Design, Specification, and Verification: 10th International Workshop, Dsv-Is 2003, Funchal, Madeira Island, Portugal, June 11-13,
  • Author Joaquim Jorge (Editor); Nuno Jardim Nunes (Editor); Joao Falcao E. Cunha (Editor)
  • Binding Paperback
  • Edition number 2003rd
  • Edition 2003
  • Pages 432
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Publication date 2003-10-09
  • Features Bibliography, Index
  • ISBN 9783540201595 / 3540201599
  • Weight 1.37 lbs (0.62 kg)
  • Dimensions 9.21 x 6.14 x 0.91 in (23.39 x 15.60 x 2.31 cm)
  • Category Computers - General Information
  • Library of Congress Catalogue Number 2003062022
  • Dewey Decimal Code 004.33

More Copies for Sale

Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS...
Stock photo: cover may vary

Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, ... Papers (Lecture Notes in Computer Science)

by Jorge, Joaquim [Editor]; Jardim Nunes, Nuno [Editor]; Falcao e Cunha, Joao [Editor];

  • Used
  • Very good
  • Paperback
Condition
Very good
Binding
Paperback
ISBN 10 / ISBN 13
9783540201595 / 3540201599
Quantity available
1
Seller
Item price
A$11.82
A$8.65 Delivery to USA

Show details

Description:
Springer, 2003-12-05. Paperback. Very Good. 6x1x9. Ex-library paperback in very nice condition with the usual markings and attachments.
Add to wish list
Item price
A$11.82
A$8.65 Delivery to USA
Interactive Systems. Design, Specification, and Verification : 10th International Workshop,...

Show details

Description:
Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2003, held in Funchal, Madeira Island, Portugal, in June 2003. T
Add to wish list
Item price
A$103.11
A$15.26 Delivery to USA
Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS...

Show details

Description:
Paperback / softback. New.
Add to wish list
Item price
A$109.09
A$19.01 Delivery to USA
Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS...
Stock photo: cover may vary

Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, ... Papers (Lecture Notes in Computer Science)

by Jorge, Joaquim [Editor]; Jardim Nunes, Nuno [Editor]; Falcao e Cunha, Joao [Editor];

  • New
Condition
New
ISBN 10 / ISBN 13
9783540201595 / 3540201599
Quantity available
5
Seller
Item price
A$93.31
A$5.76 Delivery to USA

Show details

Description:
new.
Add to wish list
Item price
A$93.31
A$5.76 Delivery to USA
Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS...
Stock photo: cover may vary

Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, ... (Lecture Notes in Computer Science, 2844)

by Jorge, Joaquim

  • New
  • Paperback
Condition
New
Edition
2003
Binding
Paperback
ISBN 10 / ISBN 13
9783540201595 / 3540201599
Quantity available
1
Seller
Item price
A$99.09
Free Delivery to USA

Show details

Description:
Springer, 2003-10-09. 2003. paperback. New. 6.10x1.01x9.10. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$99.09
Free Delivery to USA
Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS...
Stock photo: cover may vary

Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, ... Papers (Lecture Notes in Computer Science)

by Jorge, Joaquim [Editor]; Jardim Nunes, Nuno [Editor]; Falcao e Cunha, Joao [Editor];

  • Used
Condition
New
ISBN 10 / ISBN 13
9783540201595 / 3540201599
Quantity available
5
Seller
Item price
A$120.05
A$5.76 Delivery to USA

Show details

Description:
like new.
Add to wish list
Item price
A$120.05
A$5.76 Delivery to USA
Interactive Systems. Design, Specification, and Verification
Stock photo: cover may vary

Interactive Systems. Design, Specification, and Verification

  • New
Condition
New
ISBN 10 / ISBN 13
9783540201595 / 3540201599
Quantity available
4
Seller
Item price
A$140.96
A$5.76 Delivery to USA

Show details

Description:
Springer , pp. 448 . Papeback. New.
Add to wish list
Item price
A$140.96
A$5.76 Delivery to USA
Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS...
Stock photo: cover may vary

Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, ... (Lecture Notes in Computer Science, 2844)

by Jorge, Joaquim

  • Used
  • Paperback
Condition
Used
Edition
2003
Binding
Paperback
ISBN 10 / ISBN 13
9783540201595 / 3540201599
Quantity available
1
Seller
Item price
A$162.57
Free Delivery to USA

Show details

Description:
Springer, 2003-10-09. 2003. paperback. Used: Good. 6.10x1.01x9.10. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$162.57
Free Delivery to USA