Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (Lecture Notes in Computer Science 939)

Pierre Wolper

Language: English

Published by Springer, 1995

3540600450 / 9783540600459

  • Softcover
  • Used
See all details
Heritage seller

Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.Zubal-Books, Since 1961

5-star seller

AbeBooks seller since July 12, 1996

View this seller's items
Softcover

Condition: Used - Good

US$ 37.62

US$ 4.50 shipping 
Ships within U.S.A.

Quantity: 1 available

Add to basket
Free 30-day returns
Save for laterCreate a Want for similar items

Item description from seller

451 pp., Paperback, ex library, else text clean and binding tight. - 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.

Seller Inventory # ZB717417

Report this item
Title
Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (Lecture Notes in Computer Science 939)
Author
Pierre Wolper
Publisher
Springer
Publication year
1995
Condition
Good
Binding
Soft cover
Language
English
ISBN 10
3540600450
ISBN 13
9783540600459

Zubal-Books, Since 1961

Cleveland, OH, U.S.A.

5-star seller

AbeBooks seller since July 12, 1996

Shipping rates within U.S.A.

Item4 to 14 business days3 to 5 business days
First itemUS$ 4.50US$ 14.00
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay

Store description

Zubal Books is the #1 buyer and seller of scholarly and rare books in America. Since 1961 we've handled thousands of private and technical libraries. Our family business knows books and we treat our clients with top-notch customer service. If you have any questions about our listings, please don't hesitate to contact us. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country

Specialty

Rare Books, History, First Editions, Science Fiction, Science Technology, We purchase entire libraries, Anthropology Archaeology Art, Occult, Math Physics Engineering Chemistry

Seller's business information

Zubal Books

2969 West 25th Street
Cleveland, OH U.S.A. 44113

Contact sellerView this seller's itemsView seller's storefront