Skip to content

Interactive Systems. Design, Specification, and Verification: 7th International
Stock Photo: Cover May Be Different

Interactive Systems. Design, Specification, and Verification: 7th International Workshop, Dsv-Is 2000, Limerick, Ireland, June 5-6, 2000. Revised Pape Paperback - 2001 - 2001st Edition

by Philippe Palanque (Editor); Fabio Paterno (Editor)


First line

Software architectures traditionally decompose systems into components responsible for implementing part of the system, and connectors enabling communication between these components.

Details

  • Title Interactive Systems. Design, Specification, and Verification: 7th International Workshop, Dsv-Is 2000, Limerick, Ireland, June 5-6, 2000. Revised Pape
  • Author Philippe Palanque (Editor); Fabio Paterno (Editor)
  • Binding Paperback
  • Edition number 2001st
  • Edition 2001
  • Pages 258
  • Volumes 1
  • Language ENG
  • Publisher Springer, Secaucus, New Jersey, U.S.A.
  • Date 2001-01-30
  • ISBN 9783540416630 / 3540416633
  • Weight 0.84 lbs (0.38 kg)
  • Dimensions 9.21 x 6.14 x 0.56 in (23.39 x 15.60 x 1.42 cm)
  • Library of Congress Catalog Number 2001020058
  • Dewey Decimal Code 004
Back to Top

More Copies for Sale

Interactive Systems: Design, Specification, and Verification : 7th International Workshop, Dsv-Is...

Interactive Systems: Design, Specification, and Verification : 7th International Workshop, Dsv-Is 2000, Limerick, Ireland, June 5-6, 2000 :

by Philippe Palanque et Fabio Paterno

  • Used
  • Good
  • Paperback
Condition
Used - Good
Binding
Paperback
ISBN 10 / ISBN 13
9783540416630 / 3540416633
Quantity Available
1
Seller
Morangis, France
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$34.82
$12.00 shipping to USA

Show Details

Description:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2001. Paperback. Good. Former library book. Slight signs of wear on the cover. Edition 2001. Ammareal gives back up to 15% of this book's net price to charity organizations.
Item Price
$34.82
$12.00 shipping to USA
Interactive Systems. Design, Specification, and Verification: 7th International Workshop, DSV-IS...
Stock Photo: Cover May Be Different

Interactive Systems. Design, Specification, and Verification: 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers (Lecture Notes in Computer Science)

by Palanque, Philippe [Editor]; Paterno, Fabio [Editor];

  • Used
  • Very Good
  • Paperback
Condition
Used - Very Good
Binding
Paperback
ISBN 10 / ISBN 13
9783540416630 / 3540416633
Quantity Available
1
Seller
Spring Branch, Texas, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$47.26
$5.99 shipping to USA

Show Details

Description:
Springer, 2001-Jan-30. Paperback. Very Good. 6x0x9. Ex-library paperback in very nice condition with the usual markings and attachments.
Item Price
$47.26
$5.99 shipping to USA
Interactive Systems. Design, Specification, and Verification : 7th International Workshop, DSV-IS...

Interactive Systems. Design, Specification, and Verification : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers

by Philippe Palanque

  • New
Condition
New
ISBN 10 / ISBN 13
9783540416630 / 3540416633
Quantity Available
686
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$63.30
$10.33 shipping to USA

Show Details

Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Interactive Systems. Design, Specification, and Verification : 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers.
Item Price
$63.30
$10.33 shipping to USA
Interactive Systems. Design, Specification, and Verification: 7th International Workshop, DSV-IS...
Stock Photo: Cover May Be Different

Interactive Systems. Design, Specification, and Verification: 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers

by Philippe Palanque

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540416630 / 3540416633
Quantity Available
10
Seller
Southport, Merseyside, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$76.57
$12.86 shipping to USA

Show Details

Description:
Paperback / softback. New. The first books that addressed this issue in a complete and thorough manner were the collection of contributions edited by Harrison and Thimbleby and the book written by Alan Dix, which focused on abstractions useful to highlight important concepts in the design of interactive systems.
Item Price
$76.57
$12.86 shipping to USA