Picture 1 of 1
NASA Formal Methods : 7th International Symposi. Havelund, Holzmann, Joshi<|
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:
Shop with confidence
Seller information
- 99.1% positive Feedback
Registered as a business seller
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
Trade 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
Postage and packaging
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 |
The buyer is responsible for return postage costs.
| Return policy details |
|---|
| Returns accepted |
Most Buy It Now purchases are protected by the Consumer Rights Directive, which allow you to cancel the purchase within seven working days from 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,904,894)
6***2 (65)- Feedback left by buyer.
Past month
Verified purchase
Good condition and value.
t***s (470)- Feedback left by buyer.
Past month
Verified purchase
Great ebayer
1***j (219)- Feedback left by buyer.
Past month
Verified purchase
Good book with quick delivery. Many thanks
More to explore:
- Non-Fiction Methodism Fiction & Non-Fiction Books,
- Non-Fiction Methodism Hardcover Books,
- Non-Fiction Methodism Paperback Fiction & Books,
- International Times Magazines,
- Life International Magazines,
- Flight International Magazines,
- Air International Magazines,
- Grand Prix International Magazines,
- Land Rover Owner International Magazines,
- Military Modelcraft International Magazines