Computer Aided Verification: 8th International Conference, CAV 96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings (Lecture Notes in Computer Science)

ISBN 10: 3540614745 / ISBN 13: 9783540614746
Used / 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:

Computer Aided Verification: 8th International Conference, CAV 96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings (Lecture Notes in Computer Science). Bookseller Inventory #

About this title:

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

Synopsis: This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference.
The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 carefully selected descriptions of tools and case studies. The set of papers reports the state-of-the-art of the theory and practice of computer assisted formal analysis methods for software and hardware systems; a certain emphasis is placed on verification tools and the algorithms and techniques that are needed for their implementation.

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

Bibliographic Details

Title: Computer Aided Verification: 8th ...
Book Condition: Good

Top Search Results from the AbeBooks Marketplace

1.

Published by Springer (2008)
ISBN 10: 3540614745 ISBN 13: 9783540614746
Used Quantity Available: 1
Seller:
Better World Books
(Mishawaka, IN, U.S.A.)
Rating
[?]

Book Description Springer, 2008. Book Condition: Good. 1996th Edition. Former Library book. Shows some signs of wear, and may have some markings on the inside. Bookseller Inventory # GRP91157250

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 5.76
Convert Currency

Add to Basket

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

2.

Published by Springer (2008)
ISBN 10: 3540614745 ISBN 13: 9783540614746
Used Paperback Quantity Available: 1
Seller:
Solr Books
(Skokie, IL, U.S.A.)
Rating
[?]

Book Description Springer, 2008. Paperback. Book Condition: Good. Great reading/study copy. May have highlights and/or notes. Ships Fast! Satisfaction Guaranteed!. Bookseller Inventory # mon0000549032

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 4.29
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

3.

Editor-Rajeev Alur; Editor-Thomas Henzinger
Published by Springer (1996)
ISBN 10: 3540614745 ISBN 13: 9783540614746
Used Paperback Quantity Available: 1
Print on Demand
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 1996. Paperback. Book Condition: Used: Good. This item is printed on demand. Bookseller Inventory # SONG3540614745

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 11.20
Convert Currency

Add to Basket

Shipping: US$ 8.99
Within U.S.A.
Destination, Rates & Speeds

4.

Published by Springer
ISBN 10: 3540614745 ISBN 13: 9783540614746
New Quantity Available: 4
Print on Demand
Seller:
Majestic Books
(London, ,, United Kingdom)
Rating
[?]

Book Description Springer. Book Condition: New. pp. xii + 472 This item is printed on Demand. Bookseller Inventory # 5840787

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 35.46
Convert Currency

Add to Basket

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

5.

ALUR RAJEEV ET. AL
ISBN 10: 3540614745 ISBN 13: 9783540614746
New Quantity Available: 5
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-2410

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 42.05
Convert Currency

Add to Basket

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

6.

ALUR RAJEEV ET. AL
ISBN 10: 3540614745 ISBN 13: 9783540614746
New Quantity Available: 1
Seller:
Bookshub
(Karol Bagh, India)
Rating
[?]

Book Description Book Condition: New. New. US edition. Perfect condition. Customer satisfaction our priority. Bookseller Inventory # ABE-FEB-120367

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 42.50
Convert Currency

Add to Basket

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

7.

ALUR RAJEEV ET. AL
ISBN 10: 3540614745 ISBN 13: 9783540614746
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 # SHUB120367

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 42.55
Convert Currency

Add to Basket

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

8.

ALUR RAJEEV ET. AL
ISBN 10: 3540614745 ISBN 13: 9783540614746
New Quantity Available: 5
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 # AUSBNEW-2410

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 45.08
Convert Currency

Add to Basket

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

9.

ALUR RAJEEV ET. AL
ISBN 10: 3540614745 ISBN 13: 9783540614746
New Quantity Available: 1
Seller:
Basi6 International
(Irving, TX, U.S.A.)
Rating
[?]

Book Description Book Condition: Brand New. New, US edition. Excellent Customer Service. Bookseller Inventory # ABEUSA-120367

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 45.10
Convert Currency

Add to Basket

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

10.

Published by Springer (1996)
ISBN 10: 3540614745 ISBN 13: 9783540614746
New Paperback Quantity Available: 1
Seller:
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Springer, 1996. Paperback. Book Condition: New. book. Bookseller Inventory # M3540614745

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 45.30
Convert Currency

Add to Basket

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

There are 8 more copies of this book

View all search results for this book