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

Language: English

Published by Springer, 2008

3540614745 / 9783540614746

  • Softcover
  • Used
See all details

Seller: Leserstrahl (Preise inkl. MwSt.), Oldenbüttel, GermanyLeserstrahl (Preise inkl. MwSt.)

5-star seller

AbeBooks seller since March 11, 2015

View this seller's items
Softcover

Condition: Used - Fine

US$ 11.64

US$ 80.28 shipping 
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket
Free 30-day returns

Item description from seller

leichte Lagerspuren / minor shelfwear---.

Seller Inventory # 93068

Title
Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings (Lecture Notes in Computer Science)
Author
Henzinger, Thomas, Alur, Rajeev
Publisher
Springer
Publication year
2008
Condition
Fine
Signed
nein
Binding
Taschenbuch
Language
English
ISBN 10
3540614745
ISBN 13
9783540614746
Item weight
755 grams
Dimensions
22,86 x 15,49 x 2,79
Seller catalogs
Englische Bücher

Leserstrahl (Preise inkl. MwSt.)

Oldenbüttel, Germany

5-star seller

AbeBooks seller since March 11, 2015

Shipping rates from Germany to U.S.A.

Item59 to 60 business days59 to 60 business days
First itemUS$ 80.28US$ 114.69
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
  • Bank Wire Transfer
  • Cash
  • Check
  • Invoice
  • Paypal

Seller's business information

Leserstrahl (Preise inkl. MwSt.)

Germany