|Listed in category:
This listing was ended by the seller on Sat, 30 Oct at 2:38 AM because the item was lost or broken.
Have one to sell?

AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS - NEW PAPERBACK BOOK

Condition:
New
5 available
Price:
US $135.26
ApproximatelyEUR 124.71
Postage:
Free Economy Shipping. See detailsfor postage
Located in: North Carolina, United States
Delivery:
Estimated between Sat, 1 Jun and Thu, 6 Jun to 43230
Delivery time is estimated using our proprietary method which is based on the buyer's proximity to the item location, the delivery service selected, the seller's delivery history and other factors. Delivery times may vary, especially during peak periods.
Returns:
30 days return. Buyer pays for return postage. See details- for more information about returns
Payments:
    

Shop with confidence

eBay Money Back Guarantee
Get the item you ordered or your money back. 

Seller information

Registered as a business seller
Seller assumes all responsibility for this listing.
eBay item number:192337817287
Last updated on 13 Oct, 2021 09:46:43 BSTView all revisionsView all revisions

Item specifics

Condition
New: A new, unread, unused book in perfect condition with no missing or damaged pages. See the ...
ISBN
9783642156427
EAN
9783642156427
Publication Year
2010
Series
Lecture Notes in Computer Science Ser.
Type
Textbook
Format
Trade Paperback
Language
English
Publication Name
Automated Technology for Verification and Analysis : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
Author
Wei-Ngan Chin
Publisher
Springer Berlin / Heidelberg
Item Weight
22.1 Oz
Number of Pages
VIII, 404 Pages

Item description from the seller

Business seller information

Movie Mars, Inc.
Customer Service
2015 Van Buren Ave
Ste B
28079-5573 Indian Trail, NC
United States
Show contact information
:enohP4563128407
:liamEmoc.srameivom@kbmmbe.1snoitseuq
I certify that all my selling activities will comply with all EU laws and regulations.