Picture 1 of 1
NASA Formal Methods : 7th International Symposi. Havelund, Holzmann, Joshi<|
Condition:
5 available
Shipping:
May not ship to United States. Read item description or contact seller for shipping options. See detailsfor shipping
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
Value Added Tax Number:
- GB 724498118
Seller assumes all responsibility for this listing.
eBay item number:296174265248
Shipping and handling
The seller has not specified a shipping method to United States. Contact the seller and request shipping to your location.
Item location:
South East, United Kingdom
Ships to:
Australia, Canada, European Union, Japan, United Kingdom
Excludes:
Afghanistan, Austria, Germany, Libya, Nauru, Russian Federation, Somalia, Switzerland, Ukraine, Yemen
| Handling time |
|---|
| Will usually ship within 5 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 #296174265248
Sales tax for an item #296174265248
Seller collects sales tax for items shipped to the following provinces:
| Province | Sales Tax Rate |
|---|
Return policy
| After receiving the item, contact seller within |
|---|
| 30 days after the buyer receives it |
The buyer is responsible for return shipping costs.
Payment details
Payment methods
Seller feedback (2,905,365)
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:
- Nonfiction Methodism Fiction & Nonfiction Books,
- Nonfiction Methodism Paperbacks Books,
- Methodism Nonfiction Hardcovers Books,
- Nonfiction Books Illustrated Fiction & Methodism,
- Methodism Nonfiction Hardcovers Books in English,
- Food & Drink Nonfiction Methodism Fiction & Nonfiction Books,
- Methodism Nonfiction Books in English Fiction & 1900-1949 Publication Year,
- International Edition Textbooks,
- Textbook International Edition Textbooks,
- International Edition Psychology Textbooks