Picture 1 of 1
Picture 1 of 1
NASA Formal Methods - 9783642380877
GBP 39.41
ApproximatelyAU $74.98
Condition:
Postage:
GBP 22.40 (approx. AU $42.62) Express Postage to United States via eBay's Global Shipping Program. See detailsfor delivery
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:
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
Value Added Tax number:
- GB 976952259
Seller assumes all responsibility for this listing.
eBay item number:285345473445
Postage and handling
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 handling | Import charges | To | Service | Delivery*See delivery notes |
|---|---|---|---|---|
| GBP 22.40 (approx. AU $42.62) | See import charges at checkout | United States | Express Postage (International Priority Shipping) | Estimated between Thu, 4 Jul and Thu, 11 Jul to 43230 |
| Handling time |
|---|
| Will usually post within 3 business 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 for items posted to the following states:
| State | Sales tax rate |
|---|
Return policy
| Item must be returned within |
|---|
| 60 days after the buyer receives it |
The buyer is responsible for return postage costs.
You must return items in their original packaging and in the same condition as when you received them. If you don't follow our item condition policy for returnsitem condition policy for returns, you may not receive a full refund.
Refunds by law: In Australia, consumers have a legal right to obtain a refund from a business if the goods purchased are faulty, not fit for purpose or don't match the seller's description. More information at returnsreturns - opens in a new window or tab.
Payment details
Payment methods
Seller Feedback (514,883)
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 Methodism Fiction & Non-Fiction Books in French,
- Non-Fiction Methodism Fiction & Non-Fiction Books in English,
- Non-Fiction Methodism Fiction Books & 1950-1999 Publication Year