Skip to content

Verified Software: Theories, Tools, Experiments: Second International
Stock Photo: Cover May Be Different

Verified Software: Theories, Tools, Experiments: Second International Conference, Vstte 2008, Toronto, Canada, October 6-9, 2008, Proceedings Paperback - 2008

by Natarajan Shankar (Editor); Jim Woodcock (Editor)

From the publisher

This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. The 16 papers presented together with 4 invited talks were carefully revised and selected for inclusion in the book. This second conference formally inaugurates the Verified Software Initiative (VSI), a fifteen-year, co-operative, international project directed at the scientific challenges of large-scale software verification. The scope of the cooperative effort includes the sharing and interoperability of tools, the alignment of theory and practice, the identification of challenge problems, the construction of benchmark suites, and the execution of large-scale experiments.

From the rear cover

This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008.

The 16 papers presented together with 4 invited talks were carefully revised and selected for inclusion in the book. This second conference formally inaugurates the Verified Software Initiative (VSI), a fifteen-year, co-operative, international project directed at the scientific challenges of large-scale software verification. The scope of the cooperative effort includes the sharing and interoperability of tools, the alignment of theory and practice, the identification of challenge problems, the construction of benchmark suites, and the execution of large-scale experiments.

Details

  • Title Verified Software: Theories, Tools, Experiments: Second International Conference, Vstte 2008, Toronto, Canada, October 6-9, 2008, Proceedings
  • Author Natarajan Shankar (Editor); Jim Woodcock (Editor)
  • Binding Paperback
  • Edition U. S. EDITION
  • Pages 263
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Date 2008-09-22
  • Illustrated Yes
  • Features Bibliography, Illustrated, Index, Table of Contents
  • ISBN 9783540878728 / 3540878726
  • Weight 0.95 lbs (0.43 kg)
  • Dimensions 9.2 x 6.1 x 0.6 in (23.37 x 15.49 x 1.52 cm)
  • Dewey Decimal Code 005.1

More Copies for Sale

Verified Software: Theories, Tools, Experiments (Pb)
Stock Photo: Cover May Be Different

Verified Software: Theories, Tools, Experiments (Pb)

by SHANKAR N.

  • New
Condition
New
Edition
USA Edition
ISBN 10 / ISBN 13
9783540878728 / 3540878726
Quantity Available
5
Seller
ROANOKE, Virginia, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$56.58
NZ$6.64 shipping to USA

Show Details

Description:
USA Edition . Brand New. New. Ship within 24hrs. Satisfaction 100% guaranteed. I Ships from multiple Locations I ""Special Note"" We do not Provide Service On APO & PO BOX Box addresses. Delivery with In 7-14 working Day Only. This Books ship from the United Kingdom & USA other locations in India depending on your location and availability.
Item Price
NZ$56.58
NZ$6.64 shipping to USA
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008,...
Stock Photo: Cover May Be Different

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings (Lecture ... / Programming and Software Engineering)

by Shankar, Natarajan [Editor]; Woodcock, Jim [Editor];

  • Used
  • Very Good
  • Paperback
Condition
Used - Very Good
Binding
Paperback
ISBN 10 / ISBN 13
9783540878728 / 3540878726
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
NZ$60.27
NZ$9.97 shipping to USA

Show Details

Description:
Springer, 2008-11-07. Paperback. Very Good. 6x0x9. Ex-library paperback in very nice condition with the usual markings and attachments.
Item Price
NZ$60.27
NZ$9.97 shipping to USA
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008,...

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

by Natarajan Shankar

  • New
Condition
New
ISBN 10 / ISBN 13
9783540878728 / 3540878726
Quantity Available
779
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$103.10
NZ$16.83 shipping to USA

Show Details

Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings.
Item Price
NZ$103.10
NZ$16.83 shipping to USA
Verified Software
Stock Photo: Cover May Be Different

Verified Software

  • Used
Condition
Used
ISBN 10 / ISBN 13
9783540878728 / 3540878726
Quantity Available
1
Seller
Woodside, New York, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$90.96
NZ$6.64 shipping to USA

Show Details

Description:
Springer , pp. 276 . Papeback. Used.
Item Price
NZ$90.96
NZ$6.64 shipping to USA
Verified Software: Theories, Tools, Experiments: Second International Conference, Vstte 2008,...
Stock Photo: Cover May Be Different

Verified Software: Theories, Tools, Experiments: Second International Conference, Vstte 2008, Toronto, Canada, October 6-9, 2008, Proceedings

by Shankar, Natarajan (Editor)/ Woodcock, Jim (Editor)

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540878728 / 3540878726
Quantity Available
2
Seller
Exeter, Devon, United Kingdom
Seller rating:
This seller has earned a 3 of 5 Stars rating from Biblio customers.
Item Price
NZ$121.26
NZ$21.06 shipping to USA

Show Details

Description:
Springer Verlag, 2008. Paperback. New. 1st edition. 263 pages. 9.00x6.00x0.50 inches.
Item Price
NZ$121.26
NZ$21.06 shipping to USA
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008,...

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

by Natarajan Shankar

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540878728 / 3540878726
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
NZ$124.73
NZ$20.95 shipping to USA

Show Details

Description:
Paperback / softback. New. This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008.
Item Price
NZ$124.73
NZ$20.95 shipping to USA
Verified Software: Theories, Tools, Experiments (Pb)
Stock Photo: Cover May Be Different

Verified Software: Theories, Tools, Experiments (Pb)

by Shankar N.

  • Used
  • Very Good
Condition
Used - Very Good
ISBN 10 / ISBN 13
9783540878728 / 3540878726
Quantity Available
1
Seller
Indianapolis, Indiana, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$149.22
NZ$21.06 shipping to USA

Show Details

Description:
Very Good.
Item Price
NZ$149.22
NZ$21.06 shipping to USA
Verified Software: Theories, Tools, Experiments: Second International Conference, Vstte 2008,...
Stock Photo: Cover May Be Different

Verified Software: Theories, Tools, Experiments: Second International Conference, Vstte 2008, Toronto, Canada, October 6-9, 2008, Proceedings

by Shankar

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540878728 / 3540878726
Quantity Available
1
Seller
New Delhi, India
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$152.88
FREE shipping to USA

Show Details

Description:
Europe: Springer, 2008. Paperback. Brand New. Book Condition:- Brand New. Secured Packaging. Fast DeliveryBookseller Inventory # 9783540878728
Item Price
NZ$152.88
FREE shipping to USA
Verified Software: Theories, Tools, Experiments (Pb)
Stock Photo: Cover May Be Different

Verified Software: Theories, Tools, Experiments (Pb)

by Shankar N.

  • New
Condition
New
ISBN 10 / ISBN 13
9783540878728 / 3540878726
Quantity Available
500
Seller
New Delhi, Delhi, India
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$219.00
NZ$24.96 shipping to USA

Show Details

Description:
Springer, 2008. New.
Item Price
NZ$219.00
NZ$24.96 shipping to USA
Verified Software: Theories, Tools, Experiments (Pb)
Stock Photo: Cover May Be Different

Verified Software: Theories, Tools, Experiments (Pb)

by Shankar N.

  • New
Condition
New
ISBN 10 / ISBN 13
9783540878728 / 3540878726
Quantity Available
500
Seller
New Delhi, Delhi, India
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$219.00
NZ$24.96 shipping to USA

Show Details

Description:
Springer, 2008. New.
Item Price
NZ$219.00
NZ$24.96 shipping to USA