Picture 1 of 1
![NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, US<| - Picture 1 of 1](https://i.ebayimg.com/images/g/Di8AAOSwofdlt3fE/s-l500.jpg)
Picture 1 of 1
![NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, US<| - Picture 1 of 1](https://i.ebayimg.com/images/g/Di8AAOSwofdlt3fE/s-l500.jpg)
NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, US<|
GBP 84.72
ApproximatelyAU $161.23
Condition:
5 available
Postage:
May not post to United States. Read item description or contact seller for postage options. See detailsfor delivery
Located in: South East, United Kingdom
Delivery:
Varies
Returns:
Payments:
Shop with confidence
Seller assumes all responsibility for this listing.
eBay item number:296193551183
Item specifics
- Condition
- PublishedOn
- 2019-05-28
- Title
- NASA Formal Methods : 11th International Symposium, NFM 2019, Ho
- ISBN
- 9783030206512
- Publication Year
- 2019
- Type
- Textbook
- Format
- Paperback
- Language
- English
- Publication Name
- NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings
- Item Height
- 235mm
- Publisher
- Springer Nature Switzerland A&G
- Item Width
- 155mm
- Subject
- Computer Science
- Item Weight
- 635g
- Number of Pages
- 392 Pages
About this product
Product Information
This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem proving including SAT and SMT solving; use of formal methods in software and system testing; run-time verification; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and/or distributed techniques; code generation from formally verified models; safety cases and system safety; formal approaches to fault tolerance; theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems; formal methods in systems engineering and model-based development; correct-by-design controller synthesis; formal assurance methods to handle adaptive systems.
Product Identifiers
Publisher
Springer Nature Switzerland A&G
ISBN-13
9783030206512
eBay Product ID (ePID)
16046536459
Product Key Features
Publication Name
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
2019
Type
Textbook
Number of Pages
392 Pages
Dimensions
Item Height
235mm
Item Width
155mm
Volume
11460
Item Weight
635g
Additional Product Features
Series Title
Lecture Notes in Computer Science
Country/Region of Manufacture
Switzerland
Editor
Kristin Yvonne Rozier, Julia M. Badger
Item description from the seller
Business seller information
Value Added Tax number:
- GB 724498118
Seller assumes all responsibility for this listing.
eBay item number:296193551183
Postage and handling
The seller has not specified a postage method to United States. Contact the seller and request delivery 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
Handling time |
---|
Will usually post 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 #296193551183
Sales tax for an item #296193551183
Seller collects sales tax for items posted to the following states:
State | Sales tax rate |
---|
Return policy
Item must be returned within |
---|
30 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 (2,903,368)
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 (1434)- 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 Methodism Fiction & Non-Fiction Books in French,
- Non-Fiction Methodism Fiction & Non-Fiction Books in English,
- Non-Fiction Fiction Books & International Edition,
- International Edition School Textbooks & Study Guides,
- Cookbooks Non-Fiction Fiction Books & International Edition,
- The Bible Non-Fiction Fiction Books & International Edition,
- Non-Fiction Fiction Books & Medicine International Edition