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
Stock photo: cover may vary

Interactive Systems. Design, Specification, and Verification: 13th International Workshop, Dsvis 2006, Dublin, Ireland, July 26-28, 2006, Revised Pape Paperback - 2007 - 2007th Edition

by Gavin Doherty (Editor); Ann Blandford (Editor)

Add to wish list

Reader reviews for Interactive Systems. Design, Specification, and Verification: 13th International Workshop, Dsvis 2006, Dublin, Ireland, July 26-28, 2006, Revised Pape

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.

Details

  • Title Interactive Systems. Design, Specification, and Verification: 13th International Workshop, Dsvis 2006, Dublin, Ireland, July 26-28, 2006, Revised Pape
  • Author Gavin Doherty (Editor); Ann Blandford (Editor)
  • Binding Paperback
  • Edition number 2007th
  • Edition 2007
  • Pages 276
  • Volumes 1
  • Language ENG
  • Publisher Springer, Berlin
  • Publication date 2007-01-18
  • Illustrated Yes
  • Features Illustrated, Index
  • ISBN 9783540695530 / 3540695532
  • Weight 0.89 lbs (0.40 kg)
  • Dimensions 9.21 x 6.14 x 0.6 in (23.39 x 15.60 x 1.52 cm)
  • Category Computers - General Information
  • Library of Congress Catalogue Number 2006939792
  • Dewey Decimal Code 004.019

More Copies for Sale

INTERACTIVE SYSTEMS. DESIGN, SPECIFICATION, AND VERIFICATION
Stock photo: cover may vary

INTERACTIVE SYSTEMS. DESIGN, SPECIFICATION, AND VERIFICATION

by DOHERTY, GAVIN; BLANDFORD, ANN,

  • New
  • Paperback
  • first
Condition
New
Edition
1st
Binding
Paperback
ISBN 10 / ISBN 13
9783540695530 / 3540695532
Quantity available
3
Seller
Item price
A$64.97
A$28.88 Delivery to USA

Show details

Description:
Springer, 2007. 1st. Paperback. New/New.
Add to wish list
Item price
A$64.97
A$28.88 Delivery to USA
Interactive Systems. Design, Specification, and Verification: 13th International Workshop, Dsvis...

Interactive Systems. Design, Specification, and Verification: 13th International Workshop, Dsvis 2006, Dublin, Ireland, July 26-28, 2006, Revised Pape

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540695530 / 3540695532
Quantity available
585
Seller
Item price
A$103.11
A$15.26 Delivery to USA

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 13th International Workshop on Design, Specification, and Verification of Interactive Systems, DSVIS 2006, held in Dublin, Ireland in July 2006. The 19 revised full p
Add to wish list
Item price
A$103.11
A$15.26 Delivery to USA
Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS...
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)

by Doherty, Gavin

  • Used
  • Paperback
Condition
Used
Edition
2007
Binding
Paperback
ISBN 10 / ISBN 13
9783540695530 / 3540695532
Quantity available
1
Seller
Item price
A$79.42
Free Delivery to USA

Show details

Description:
Springer, 2007-01-18. 2007. paperback. Used: Good. 6.10x0.64x9.25. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$79.42
Free Delivery to USA
Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS...
Stock photo: cover may vary

Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers ... / Programming and Software Engineering)

by Doherty, Gavin (Editor)/ Blandford, Ann (Editor)

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540695530 / 3540695532
Quantity available
2
Seller
Item price
A$115.13
A$28.66 Delivery to USA

Show details

Description:
Springer, 2007. Paperback. New. 1st edition. 269 pages. 9.00x6.00x0.60 inches.
Add to wish list
Item price
A$115.13
A$28.66 Delivery to USA
Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS...
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)

by Doherty, Gavin

  • New
  • Paperback
Condition
New
Edition
2007
Binding
Paperback
ISBN 10 / ISBN 13
9783540695530 / 3540695532
Quantity available
1
Seller
Item price
A$92.71
Free Delivery to USA

Show details

Description:
Springer, 2007-01-18. 2007. paperback. New. 6.10x0.64x9.25. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$92.71
Free Delivery to USA
Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS...
Stock photo: cover may vary

Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers ... / Programming and Software Engineering)

by Doherty, Gavin (Editor)/ Blandford, Ann (Editor)

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540695530 / 3540695532
Quantity available
2
Seller
Item price
A$127.66
A$28.66 Delivery to USA

Show details

Description:
Springer, 2007. Paperback. New. 1st edition. 269 pages. 9.00x6.00x0.60 inches.
Add to wish list
Item price
A$127.66
A$28.66 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
9783540695530 / 3540695532
Quantity available
4
Seller
Item price
A$137.49
A$5.76 Delivery to USA

Show details

Description:
Springer , pp. 286 . Papeback. New.
Add to wish list
Item price
A$137.49
A$5.76 Delivery to USA