Picture 1 of 1
![NASA Formal Methods : 7th International Symposi. Havelund, Holzmann, Joshi<| - Picture 1 of 1](http://images.awesomebooks.com//images/books/large/97833/9783319175232.jpg?ihtml=ABLIST20240119)
Picture 1 of 1
![NASA Formal Methods : 7th International Symposi. Havelund, Holzmann, Joshi<| - Picture 1 of 1](http://images.awesomebooks.com//images/books/large/97833/9783319175232.jpg?ihtml=ABLIST20240119)
NASA Formal Methods : 7th International Symposi. Havelund, Holzmann, Joshi<|
£85.14
Condition:
5 available
Postage:
May not post to United States. Read item description or contact seller for postage options. See detailsfor postage
Located in: South East, United Kingdom
Delivery:
Varies
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:296174265248
Item specifics
- Condition
- PublishedOn
- 2015-04-09
- Title
- NASA Formal Methods : 7th International Symposium, NFM 2015, Pas
- ISBN
- 9783319175232
- Publication Year
- 2015
- Type
- Textbook
- Format
- Paperback
- Language
- English
- Publication Name
- NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
- Item Height
- 235mm
- Publisher
- Springer International Publishing A&G
- Item Width
- 155mm
- Subject
- Computer Science
- Item Weight
- 718g
- Number of Pages
- 458 Pages
About this product
Product Information
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015. The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis; runtime verification; systematic testing; program refinement; compositional verification; security and intrusion detection; modeling and specification formalisms; model-based development; model-based testing; requirement engineering; formal approaches to fault tolerance; and applications of formal methods.
Product Identifiers
Publisher
Springer International Publishing A&G
ISBN-13
9783319175232
eBay Product ID (ePID)
213004434
Product Key Features
Publication Name
NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
2015
Type
Textbook
Number of Pages
458 Pages
Dimensions
Item Height
235mm
Item Width
155mm
Volume
9058
Item Weight
718g
Additional Product Features
Series Title
Programming and Software Engineering
Country/Region of Manufacture
Switzerland
Editor
Rajeev Joshi, Gerard Holzmann, Klaus Havelund
Item description from the seller
Business seller information
WRAP Ltd.
Mubin Ahmed
Unit 4
119 Loverock Road
Reading
Berkshire
RG30 1DZ
United Kingdom
Value added tax number:
- GB 724498118
Company registration number:
- 03800600
I certify that all my selling activities will comply with all EU laws and regulations.
CRN Number:
- 03800600
Seller assumes all responsibility for this listing.
eBay item number:296174265248
Post to me
The seller has not specified a postage method to United States. Contact the seller and request postage to your location.
Item location:
South East, United Kingdom
Posts to:
Australia, Canada, European Union, Japan, United Kingdom
Excludes:
Afghanistan, Austria, Germany, Libya, Nauru, Russian Federation, Somalia, Switzerland, Ukraine, Yemen
Dispatch time |
---|
Will usually dispatch within 5 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 #296174265248
Sales tax for an item #296174265248
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 |
---|---|
30 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 (2,905,086)
e***a- Feedback left by buyer.
Past month
Verified purchase
A great eBay seller. Item exactly as described, packed with care to protect during shipping, Good communication & great value for money. Highly recommend.
a***t (1435)- Feedback left by buyer.
Past month
Verified purchase
Thank you very much for your usual excellent service. Well packaged, speedy delivery, just as described, good price with excellent communication.
y***e (256)- Feedback left by buyer.
Past month
Verified purchase
Item just as described. Quick delivery. Well packaged. Great price. Brilliant seller. Great Communication.
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,
- International Times Magazines,
- Life International Magazines,
- Motorcycle International Magazines,
- Flight International Magazines,
- Air International Magazines