Picture 1 of 1
![NASA Formal Methods - 9783642380877 - Picture 1 of 1](https://i.ebayimg.com/images/g/cUMAAOSwGYZmcnf5/s-l500.jpg)
Picture 1 of 1
![NASA Formal Methods - 9783642380877 - Picture 1 of 1](https://i.ebayimg.com/images/g/cUMAAOSwGYZmcnf5/s-l500.jpg)
NASA Formal Methods - 9783642380877
£39.41
RRP £44.99
Save £5.58 (12% OFF)
Condition:
Postage:
£22.40 Expedited Delivery to United States via eBay's Global Shipping Programme. See detailsfor postage
Located in: Aldershot, United Kingdom
Import charges:
Free amount confirmed at checkout
Delivery:
Estimated between Thu, 4 Jul and Thu, 11 Jul to 43230
Includes international tracking
Returns:
Payments:
Get more time to pay. See payment informationfor PayPal Credit - opens in a new window or tab
Shop with confidence
Seller assumes all responsibility for this listing.
eBay item number:285345473445
Item specifics
- Condition
- Book Title
- NASA Formal Methods
- ISBN
- 9783642380877
- Publication Year
- 2013
- Type
- Textbook
- Format
- Paperback
- Language
- English
- Publication Name
- NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
- Item Height
- 235mm
- Publisher
- Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
- Item Width
- 155mm
- Subject
- Computer Science
- Item Weight
- 777g
- Number of Pages
- 486 Pages
About this product
Product Information
This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving.
Product Identifiers
Publisher
Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
ISBN-13
9783642380877
eBay Product ID (ePID)
152646054
Product Key Features
Publication Name
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
2013
Type
Textbook
Number of Pages
486 Pages
Dimensions
Item Height
235mm
Item Width
155mm
Volume
7871
Item Weight
777g
Additional Product Features
Series Title
Lecture Notes in Computer Science
Editor
Neha Rungta, Arnaud Venet, Guillaume Brat
Country/Region of Manufacture
Germany
Item description from the seller
Business seller information
BOOKS ETC LIMITED
Andy Smith
Books Etc, Unit 4
Eastern Road
Aldershot
Hampshire
GU12 4YD
United Kingdom
Value added tax number:
- GB 976952259
Company registration number:
- 06687355
I provide invoices with VAT separately displayed.
I certify that all my selling activities will comply with all EU laws and regulations.
CRN Number:
- 06687355
Seller assumes all responsibility for this listing.
eBay item number:285345473445
Post to me
Item location:
Aldershot, United Kingdom
Posts to:
Antigua and Barbuda, Aruba, Australia, Austria, Bahamas, Bahrain, Bangladesh, Barbados, Belgium, Belize, Bermuda, Bolivia, Brazil, Brunei Darussalam, Bulgaria, Cambodia, Canada, Cayman Islands, Chile, China, Colombia, Costa Rica, Cyprus, Czech Republic, Denmark, Dominica, Dominican Republic, Ecuador, Egypt, El Salvador, Estonia, Finland, France, French Guiana, Germany, Gibraltar, Greece, Grenada, Guadeloupe, Guatemala, Guernsey, Honduras, Hong Kong, Hungary, Iceland, Indonesia, Ireland, Israel, Italy, Jamaica, Japan, Jersey, Jordan, Kuwait, Latvia, Liechtenstein, Lithuania, Luxembourg, Macau, Malaysia, Maldives, Malta, Martinique, Mexico, Monaco, Montserrat, Netherlands, New Zealand, Nicaragua, Norway, Oman, Pakistan, Panama, Paraguay, Peru, Philippines, Poland, Portugal, Qatar, Republic of Croatia, Reunion, Romania, Saint Kitts-Nevis, Saint Lucia, Saudi Arabia, Singapore, Slovakia, Slovenia, South Africa, South Korea, Spain, Sri Lanka, Sweden, Switzerland, Taiwan, Thailand, Trinidad and Tobago, Turks and Caicos Islands, Ukraine, United Arab Emirates, United Kingdom, United States, Uruguay, Vietnam
Excludes:
Afghanistan, Libya, Nauru, Russian Federation, Somalia, Yemen
Postage and packaging | Import charges | To | Service | Delivery*See Delivery notes |
---|---|---|---|---|
£22.40 | See import charges at checkout | United States | Expedited Delivery (International Priority Shipping) | Estimated between Thu, 4 Jul and Thu, 11 Jul to 43230 |
Dispatch time |
---|
Will usually dispatch within 3 working days of receiving cleared payment. |
Taxes |
---|
Taxes may be applicable at checkout. Learn moreLearn more about paying tax on eBay purchases. |
Sales tax for an item #285345473445
Sales tax for an item #285345473445
Seller collects sales tax/VAT for items dispatched to the following states:
County | VAT rate |
---|
Returns policy
After receiving the item, cancel the purchase within | Return postage |
---|---|
60 days | Buyer pays for return postage |
Refer to eBay return policyopens in a new tab or window for more details. You're covered by the eBay Money Back Guaranteeopens in a new tab or window if you receive an item that is not as described in the listing.
The buyer is responsible for return postage costs.
Return policy details |
---|
Returns accepted |
Most purchases from business sellers are protected by the Consumer Contract Regulations 2013 which give you the right to cancel the purchase within 14 days after the day you receive the item. Find out more about your rights as a buyer and exceptions.
Payment details
Payment methods
Popular categories from this shop
Registered as a business seller
Seller Feedback (514,776)
6***j (69)- Feedback left by buyer.
Past month
Verified purchase
The book was as described. Excellent value and good service. Very well packaged, delivery was accurate enough and good communication. Will be happy to buy from again. Many thanks
e***r (2643)- Feedback left by buyer.
Past 6 months
Verified purchase
Fantastic professional seller, great communication and best price! Arrived fast perfectly packaged and brand new as described. Very happy, really adds to my collection thank you!
i***b (323)- Feedback left by buyer.
Past 6 months
Verified purchase
Prompt & polite communication. Fast delivery, well packaged, items as described. Great value , great seller. Thanks.
Product ratings and reviews
More to explore:
- Non-Fiction Methodism Hardcover Books,
- Non-Fiction Methodism Paperback Fiction & Books,
- Non-Fiction Methodism Fiction & Non-Fiction Books,
- Non-Fiction Fiction Books & Methodism Ex-Library,
- Non-Fiction Methodism Fiction & Non-Fiction Books in English,
- Art & Culture Non-Fiction Methodism Fiction & Non-Fiction Books,
- Non-Fiction McGraw-Hill Methodism Fiction & Non-Fiction Books,
- Non-Fiction Methodism Fiction Books & 1950-1999 Publication Year,
- Non-Fiction Methodism Fiction Books & 1900-1949 Publication Year