Picture 1 of 1
NASA Formal Methods - 9783642380877
Condition:
Postage:
GBP 22.40 (approx PHP 1,663.96) Expedited Postage to United States via eBay's Global Shipping Program. See detailsfor shipping
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:
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
Shop with confidence
Seller information
- 99.2% positive feedback
Registered as a Business Seller
Seller assumes all responsibility for this listing.
eBay item number:285345473445
Item specifics
- Condition
- Brand New: A new, unread, unused book in perfect condition with no missing or damaged pages. See all condition definitionsopens in a new window or tab
- 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
Post 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 PHP 1,663.96) | See import charges at checkout | United States | Expedited 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 shipped to the following states:
| State | Sales Tax Rate |
|---|
Return policy
| After receiving the item, contact seller within |
|---|
| 60 days |
The buyer is responsible for return postage costs.
Seller feedback (514,892)
2***b (493)- Feedback left by buyer.
Past month
Verified purchase
Great as always!
4***1 (1698)- Feedback left by buyer.
Past month
Verified purchase
Excellent book, prompt delivery, a pleasure to deal with
p***7 (1018)- Feedback left by buyer.
Past month
Verified purchase
As described