Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers (Lecture Notes in Computer Science)

Published by Springer
ISBN 10: 3540737693 / ISBN 13: 9783540737698
Used / Paperback / Quantity Available: 0
Available From More Booksellers
View all  copies of this book

About the Book

We're sorry; this specific copy is no longer available. AbeBooks has millions of books. We've listed similar copies below.

Description:

Ex-Library Book - will contain Library Markings. Book has appearance of light use with no easily noticeable wear. Bookseller Inventory #

About this title:

Book ratings provided by GoodReads:
0 avg rating
(0 ratings)

Synopsis:

Readers will find here a book that constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, held in Zurich, Switzerland in February 2007. The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are devoted to the convergence of software proofing and testing and feature current research work that combines ideas from both sides to foster software quality.

From the Back Cover:

This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, held in Zurich, Switzerland in February 2007.

The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are devoted to the convergence of software proofing and testing and feature current research work that combines ideas from both sides to foster software quality. Topics addressed are generation of test cases or oracles by theorem proving, constraint logic programming, model checking, or symbolic execution; program proving with the aid of testing techniques; automatic tools; case studies; formal frameworks; as well as verification techniques combining proofs and tests.

"About this title" may belong to another edition of this title.

Bibliographic Details

Title: Tests and Proofs: First International ...
Publisher: Springer

Binding: Paperback
Book Condition: Very Good

Top Search Results from the AbeBooks Marketplace

1.

MEYER,B., GUREVICH,Y.
ISBN 10: 3540737693 ISBN 13: 9783540737698
New Quantity Available: 1
Seller
BooksForStudent
(West Bloomfield, MI, U.S.A.)
Rating
[?]

Book Description Book Condition: New. Brand New Book In Mint Condition. Shipping With Trackable Method. No APO/FPO Addresses Please. Bookseller Inventory # 9783540737698NHS

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 45.99
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

2.

ISBN 10: 3540737693 ISBN 13: 9783540737698
New Quantity Available: 1
Seller
Bookshub
(Karol Bagh, India)
Rating
[?]

Book Description Book Condition: New. New. US edition. Perfect condition. Ship by express service to USA, Canada, Australia, France, Italy, UK, Germany and Netherland. Customer satisfaction our priority. Bookseller Inventory # ABE-190516-107404

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 46.03
Convert Currency

Add to Basket

Shipping: FREE
From India to U.S.A.
Destination, Rates & Speeds

3.

ISBN 10: 3540737693 ISBN 13: 9783540737698
New Quantity Available: 1
Seller
EBOOKSTORE2010
(New Delhi, ND, India)
Rating
[?]

Book Description Book Condition: Brand New. New. US edition. Customer Satisfaction guaranteed!!. Bookseller Inventory # SHAK107404

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 46.08
Convert Currency

Add to Basket

Shipping: FREE
From India to U.S.A.
Destination, Rates & Speeds

4.

Meyer,B., Gurevich,Y.
ISBN 10: 3540737693 ISBN 13: 9783540737698
New Quantity Available: 1
Seller
firstbookstore
(New Delhi, India)
Rating
[?]

Book Description Book Condition: Brand New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!. Bookseller Inventory # AIND-83289

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 46.23
Convert Currency

Add to Basket

Shipping: FREE
From India to U.S.A.
Destination, Rates & Speeds

5.

ISBN 10: 3540737693 ISBN 13: 9783540737698
New Quantity Available: 1
Seller
Basi6 International
(Irving, TX, U.S.A.)
Rating
[?]

Book Description Book Condition: Brand New. Excellent customer service. Satisfaction guaranteed!!. Bookseller Inventory # USATX-107404

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 48.24
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

6.

Meyer,B., Gurevich,Y.
ISBN 10: 3540737693 ISBN 13: 9783540737698
New Quantity Available: 1
Seller
Basi6 International
(Irving, TX, U.S.A.)
Rating
[?]

Book Description Book Condition: Brand New. Ships from multiple locations. FedEx or DHL 4-6 business days delivery to your doorstep. Bookseller Inventory # 20JULY16APP-36296

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 48.72
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

7.

Meyer,B., Gurevich,Y.
ISBN 10: 3540737693 ISBN 13: 9783540737698
New Quantity Available: 1
Seller
Romtrade Corp.
(STERLING HEIGHTS, MI, U.S.A.)
Rating
[?]

Book Description Book Condition: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery. Bookseller Inventory # AUSB-83289

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 49.42
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

8.

Bertrand Meyer
Published by Springer (2007)
ISBN 10: 3540737693 ISBN 13: 9783540737698
New Paperback Quantity Available: 1
Seller
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Springer, 2007. Paperback. Book Condition: New. book. Bookseller Inventory # 3540737693

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 66.87
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

9.

Bertrand Meyer
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2007)
ISBN 10: 3540737693 ISBN 13: 9783540737698
New Quantity Available: > 20
Print on Demand
Seller
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2007. PAP. Book Condition: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # LQ-9783540737698

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 76.01
Convert Currency

Add to Basket

Shipping: US$ 11.71
From United Kingdom to U.S.A.
Destination, Rates & Speeds

10.

Yuri Gurevich
Published by Springer Aug 2007 (2007)
ISBN 10: 3540737693 ISBN 13: 9783540737698
New Taschenbuch Quantity Available: 1
Print on Demand
Seller
AHA-BUCH GmbH
(Einbeck, Germany)
Rating
[?]

Book Description Springer Aug 2007, 2007. Taschenbuch. Book Condition: Neu. 235x155x12 mm. This item is printed on demand - Print on Demand Titel. Neuware - Readers will find here a book that constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, held in Zurich, Switzerland in February 2007. The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are devoted to the convergence of software proofing and testing and feature current research work that combines ideas from both sides to foster software quality. 232 pp. Englisch. Bookseller Inventory # 9783540737698

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 80.35
Convert Currency

Add to Basket

Shipping: US$ 33.09
From Germany to U.S.A.
Destination, Rates & Speeds

There are 13 more copies of this book

View all search results for this book