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

Skip to content

Design Specification And Verification (108 items)

Refine Search
Results 1 - 20 of 108
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
Overall Feedback:
This seller has earned a 4.8 of 5 Stars rating from Biblio customers.
Item price
A$11.82
A$8.65 Delivery within 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 within USA
Design, Specification and Verification of Interactive Systems '96
Stock photo: cover may vary

Design, Specification and Verification of Interactive Systems '96

by Bodart, F., & J. Vanderdonckt, eds.

  • Used
  • Paperback
Condition
Used
Binding
Paperback
ISBN 10 / ISBN 13
9783211829004 / 3211829008
Quantity available
1
Seller
Overall Feedback:
This seller has earned a 4.8 of 5 Stars rating from Biblio customers.
Item price
A$54.32
A$6.50 Delivery within USA

Show details

Description:
Springer, 1996. *Price HAS BEEN REDUCED by 10% until Monday, June 22 (weekend SALE item)* 383 pp., ex library, else textually clean and tight, softcover. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Add to wish list
Item price
A$54.32
A$6.50 Delivery within 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 [Editor]; Blandford, Ann [Editor];

  • Used
  • Very good
  • Paperback
Condition
Very good
Binding
Paperback
ISBN 10 / ISBN 13
9783540695530 / 3540695532
Quantity available
1
Seller
Overall Feedback:
This seller has earned a 4.8 of 5 Stars rating from Biblio customers.
Item price
A$53.41
A$8.65 Delivery within USA

Show details

Description:
Springer, 2007-01-18. paperback. Very Good. 6x0x9. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Add to wish list
Item price
A$53.41
A$8.65 Delivery within 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 [Editor]; Blandford, Ann [Editor];

  • Used
  • Very good
  • Paperback
Condition
Very good
Binding
Paperback
ISBN 10 / ISBN 13
9783540695530 / 3540695532
Quantity available
1
Seller
Overall Feedback:
This seller has earned a 4.8 of 5 Stars rating from Biblio customers.
Item price
A$53.41
A$8.65 Delivery within USA

Show details

Description:
Springer, 2007-01-18. Paperback. Very Good. 6x0x9. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Add to wish list
Item price
A$53.41
A$8.65 Delivery within USA
Design, Specification and Verification of Interactive Systems '96 (Eurographics)
Stock photo: cover may vary

Design, Specification and Verification of Interactive Systems '96 (Eurographics)

by Bodart, Francois

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783211829004 / 3211829008
Quantity available
1
Seller
Overall Feedback:
This seller has earned a 5.0 of 5 Stars rating from Biblio customers.
Item price
A$57.75
A$8.30 Delivery within USA

Show details

Description:
Springer, 1996-12-01. Paperback. New. 0x0x0. As New in manufacturer shrink wrap. Publish date 1996.
Add to wish list
Item price
A$57.75
A$8.30 Delivery within USA
Design, Specification And Verification Of Interactive Systems '97: Proceedings Of The...
Stock photo: cover may vary

Design, Specification And Verification Of Interactive Systems '97: Proceedings Of The Eurograhics Workshop In Granada, Spain, June 4-6, 1997

by Harrison, Michael D.;Torres, Juan Carlos;Torres, Juan C.

  • Used
  • as new
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783211830550 / 3211830553
Quantity available
2
Seller
Overall Feedback:
This seller has earned a 5.0 of 5 Stars rating from Biblio customers.
Item price
A$31.69
A$43.24 Delivery to USA

Show details

Description:
Seacaucs, New Jersey, U.S.A.: Springer-Verlag New York Inc, 1997 Still Wrapped
Add to wish list
Item price
A$31.69
A$43.24 Delivery to USA
Interactive Systems: Design, Specification, and Verification.
Stock photo: cover may vary

Interactive Systems: Design, Specification, and Verification.: 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers.

by Johnson, Chris (Ed.)

  • Used
  • Paperback
Condition
Used
Binding
Paperback
ISBN 10 / ISBN 13
9783540428077 / 3540428070
Quantity available
1
Seller
Overall Feedback:
This seller has earned a 5.0 of 5 Stars rating from Biblio customers.
Item price
A$41.39
A$33.11 Delivery to USA

Show details

Description:
2001. Berlin, Springer, 2001. XII, 217 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2220.
Add to wish list
Item price
A$41.39
A$33.11 Delivery to USA
Design, Specification and Verification of Interactive Systems 96: Proceedings of the Eurographics...
Stock photo: cover may vary

Design, Specification and Verification of Interactive Systems 96: Proceedings of the Eurographics Workshop in Namur, Belgium, June 5-7, 1996

by Bodart, Francois

  • New
  • Paperback
Condition
New
Edition
Softcover Repri
Binding
Paperback
ISBN 10 / ISBN 13
9783211829004 / 3211829008
Quantity available
1
Seller
Overall Feedback:
This seller has earned a 4.3 of 5 Stars rating from Biblio customers.
Item price
A$78.89
Dropship order
Free Delivery within USA

Show details

Description:
Springer, 1996-10-07. Softcover Repri. paperback. New. 6.69x0.91x9.61. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$78.89
Dropship order
Free Delivery within 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
Binding
Paperback
ISBN 10 / ISBN 13
9783540695530 / 3540695532
Quantity available
1
Seller
Overall Feedback:
This seller has earned a 4.3 of 5 Stars rating from Biblio customers.
Item price
A$79.42
Dropship order
Free Delivery within 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
Dropship order
Free Delivery within USA
Design, Specification and Verification of Interactive Systems 96: Proceedings of the Eurographics...
Stock photo: cover may vary

Design, Specification and Verification of Interactive Systems 96: Proceedings of the Eurographics Workshop in Namur, Belgium, June 5-7, 1996

by Bodart, Francois

  • Used
  • Paperback
Condition
Used
Edition
Softcover Repri
Binding
Paperback
ISBN 10 / ISBN 13
9783211829004 / 3211829008
Quantity available
1
Seller
Overall Feedback:
This seller has earned a 4.3 of 5 Stars rating from Biblio customers.
Item price
A$80.03
Dropship order
Free Delivery within USA

Show details

Description:
Springer, 1996-10-07. Softcover Repri. paperback. Used: Good. 6.69x0.91x9.61. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$80.03
Dropship order
Free Delivery within USA
Design, Specification and Verification of Interactive Systems '98
Stock photo: cover may vary

Design, Specification and Verification of Interactive Systems '98

by Markopoulos, P., & P. Johnson, eds.

  • Used
  • Paperback
Condition
Used
Binding
Paperback
ISBN 10 / ISBN 13
9783211832127 / 3211832122
Quantity available
1
Seller
Overall Feedback:
This seller has earned a 4.8 of 5 Stars rating from Biblio customers.
Item price
A$75.42
A$6.50 Delivery within USA

Show details

Description:
Springer Wien, 1998. *Price HAS BEEN REDUCED by 10% until Monday, June 22 (weekend SALE item)* 325 pp., softcover, ex library, else text and binding clean, tight, and bright. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Add to wish list
Item price
A$75.42
A$6.50 Delivery within USA
DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS *97 - PROCEEDINGS OF THE...
Stock photo: cover may vary

DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS *97 - PROCEEDINGS OF THE EUROGRAPHICS WORKSHOP IN GRANADA, SPAIN, JUNE 4-6, 1997

by TORRES, J. C.,

  • New
  • Paperback
Condition
New
Edition
N/A
Binding
Paperback
ISBN 10 / ISBN 13
9783211830550 / 3211830553
Quantity available
5
Seller
Overall Feedback:
This seller has earned a 4.0 of 5 Stars rating from Biblio customers.
Item price
A$64.97
A$21.66 Delivery to USA

Show details

Description:
Springer, 1997. N/A. Paperback. New/New.
Add to wish list
Item price
A$64.97
A$21.66 Delivery to USA
DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS *98 - PROCEEDINGS OF THE...
Stock photo: cover may vary

DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS *98 - PROCEEDINGS OF THE EUROGRAPHICS WORKSHOP IN ABINGDON, U. K., JUNE 3-5, 1998

by PURGATHOFER, W.,

  • New
  • Paperback
Condition
New
Edition
N/A
Binding
Paperback
ISBN 10 / ISBN 13
9783211832127 / 3211832122
Quantity available
5
Seller
Overall Feedback:
This seller has earned a 4.0 of 5 Stars rating from Biblio customers.
Item price
A$64.97
A$21.66 Delivery to USA

Show details

Description:
Springer, 1998. N/A. Paperback. New/New.
Add to wish list
Item price
A$64.97
A$21.66 Delivery to USA
Formal Specification and Verification in VIsi Design (Edinburgh Information Tech (Edinburgh...
Stock photo: cover may vary

Formal Specification and Verification in VIsi Design (Edinburgh Information Tech (Edinburgh Information Technology Series, 8)

by Davie, Professor Bruce S.

  • Used
  • Good
  • Hardback
Condition
Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780748601592 / 0748601597
Quantity available
1
Seller
Overall Feedback:
This seller has earned a 3.0 of 5 Stars rating from Biblio customers.
Item price
A$90.41
Dropship order
Free Delivery within USA

Show details

Description:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Add to wish list
Item price
A$90.41
Dropship order
Free Delivery within USA
Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS...
Stock photo: cover may vary

Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers

  • Used
Condition
Used
ISBN 10 / ISBN 13
9783540428077 / 3540428070
Quantity available
1
Seller
Overall Feedback:
This seller has earned a 4.7 of 5 Stars rating from Biblio customers.
Item price
A$71.40
A$17.10 Delivery to USA

Show details

Description:
Springer. Used - Good. Ships from UK in 48 hours or less (usually same day). Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. 100% money back guarantee. We are a world class secondhand bookstore based in Hertfordshire, United Kingdom and specialize in high quality textbooks across an enormous variety of subjects. We aim to provide a vast range of textbooks, rare and collectible books at a great price. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. We provide a 100% money back guarantee and are dedicated to providing our customers with the highest standards of service in the bookselling industry.
Add to wish list
Item price
A$71.40
A$17.10 Delivery to USA
Design, Specification and Verification of Interactive Systems 97: Proceedings of the Eurographics...
Stock photo: cover may vary

Design, Specification and Verification of Interactive Systems 97: Proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997

by Harrison, Michael D

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783211830550 / 3211830553
Quantity available
1
Seller
Overall Feedback:
This seller has earned a 4.3 of 5 Stars rating from Biblio customers.
Item price
A$91.85
Dropship order
Free Delivery within USA

Show details

Description:
Springer, 1997-11-11. paperback. New. 6.69x0.76x9.61. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$91.85
Dropship order
Free Delivery within 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
Binding
Paperback
ISBN 10 / ISBN 13
9783540695530 / 3540695532
Quantity available
1
Seller
Overall Feedback:
This seller has earned a 4.3 of 5 Stars rating from Biblio customers.
Item price
A$93.73
Dropship order
Free Delivery within 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$93.73
Dropship order
Free Delivery within USA
Design, Specification and Verification of Interactive Systems 99: Proceedings of the Eurographics...
Stock photo: cover may vary

Design, Specification and Verification of Interactive Systems 99: Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999

by Duke, D.J

  • New
  • Paperback
  • first
Condition
New
Edition
Softcover reprint of the original 1st ed. 1999
Binding
Paperback
ISBN 10 / ISBN 13
9783211834053 / 3211834052
Quantity available
6
Seller
Overall Feedback:
This seller has earned a 4.3 of 5 Stars rating from Biblio customers.
Item price
A$95.02
Dropship order
Free Delivery within USA

Show details

Description:
Springer, 1999-10-01. Softcover reprint of the original 1st ed. 1999. paperback. New. 6.69x0.67x9.61. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$95.02
Dropship order
Free Delivery within USA
DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS *98 - PROCEEDINGS OF THE...
Stock photo: cover may vary

DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS *98 - PROCEEDINGS OF THE EUROGRAPHICS WORKSHOP IN ABINGDON, U. K., JUNE 3-5, 1998

by PURGATHOFER, W.,

  • Used
Condition
New
ISBN 10 / ISBN 13
9783211832127 / 3211832122
Quantity available
5
Seller
Overall Feedback:
This seller has earned a 4.2 of 5 Stars rating from Biblio customers.
Item price
A$90.67
A$5.76 Delivery within USA

Show details

Description:
like new.
Add to wish list
Item price
A$90.67
A$5.76 Delivery within USA
DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS *98 - PROCEEDINGS OF THE...
Stock photo: cover may vary

DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS *98 - PROCEEDINGS OF THE EUROGRAPHICS WORKSHOP IN ABINGDON, U. K., JUNE 3-5, 1998

by PURGATHOFER, W.,

  • New
Condition
New
ISBN 10 / ISBN 13
9783211832127 / 3211832122
Quantity available
5
Seller
Overall Feedback:
This seller has earned a 4.2 of 5 Stars rating from Biblio customers.
Item price
A$90.67
A$5.76 Delivery within USA

Show details

Description:
new.
Add to wish list
Item price
A$90.67
A$5.76 Delivery within USA
Add to wish list

Haven’t found what you’re looking for?

Try adding this search to your wish list. Millions of books are added to our site every day, and when we find one that matches your search, we'll email you. Best of all, it's free.

Add to wish list
Book lovers can save on books by joining our Bibliophiles Club.

Are you a regular reader or a book collector?

Join the Bibliophiles' Club and save up to 10% on every purchase, every day — up to $20 off per order.

Biblio is a socially responsible company

Social Responsibility

Did you know that, since 2004, Biblio has used its profits to build 16 public libraries in rural villages in South America?