Picture 1 of 1
![NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, M - Picture 1 of 1](https://i.ebayimg.com/images/g/sLwAAOSwjiRmSY9v/s-l500.jpg)
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, M
Condition:
3 available
Postage:
Located in: Fairfield, Ohio, United States
Delivery:
Estimated between Tue, 9 Jul and Fri, 19 Jul to 43230
Returns:
Payments:
Shop with confidence
Seller information
- 98.3% positive Feedback
Registered as a business seller
Seller assumes all responsibility for this listing.
eBay item number:386659275513
Item specifics
- Condition
- ISBN-13
- 9783030206512
- Book Title
- NASA Formal Methods
- ISBN
- 9783030206512
- Subject Area
- Computers
- Publication Name
- NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings
- Publisher
- Springer International Publishing A&G
- Item Length
- 9.3 in
- Subject
- Software Development & Engineering / General, Computer Science, Compilers
- Publication Year
- 2019
- Series
- Lecture Notes in Computer Science Ser.
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Item Weight
- 22.4 Oz
- Item Width
- 6.1 in
- Number of Pages
- Xxi, 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 engineeringand model-based development; correct-by-design controller synthesis; formal assurance methods to handle adaptive systems.
Product Identifiers
Publisher
Springer International Publishing A&G
ISBN-10
3030206513
ISBN-13
9783030206512
eBay Product ID (ePID)
7038415283
Product Key Features
Number of Pages
Xxi, 392 Pages
Language
English
Publication Name
NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings
Publication Year
2019
Subject
Software Development & Engineering / General, Computer Science, Compilers
Type
Textbook
Subject Area
Computers
Series
Lecture Notes in Computer Science Ser.
Format
Trade Paperback
Dimensions
Item Weight
22.4 Oz
Item Length
9.3 in
Item Width
6.1 in
Additional Product Features
Series Volume Number
11460
Number of Volumes
1 Vol.
Illustrated
Yes
Lc Classification Number
Qa76.758
Table of Content
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, and 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.
Copyright Date
2019
Item description from the seller
Business seller information
Premier Books LLC
David Taylor
26C Trolley Sq
19806-3356 Wilmington, DE
United States
I certify that all my selling activities will comply with all EU laws and regulations.
Seller assumes all responsibility for this listing.
eBay item number:386659275513
Postage and packaging
Item location:
Fairfield, Ohio, United States
Posts to:
Afghanistan, Albania, Algeria, Andorra, Angola, Anguilla, Antigua and Barbuda, Argentina, Armenia, Aruba, Australia, Austria, Azerbaijan Republic, Bahamas, Bahrain, Bangladesh, Belgium, Belize, Benin, Bermuda, Bhutan, Bolivia, Bosnia and Herzegovina, Botswana, Brazil, British Virgin Islands, Brunei Darussalam, Bulgaria, Burkina Faso, Burundi, Cambodia, Cameroon, Canada, Cape Verde Islands, Cayman Islands, Central African Republic, Chad, Chile, China, Colombia, Comoros, Cook Islands, Costa Rica, Cyprus, Czech Republic, Côte d'Ivoire (Ivory Coast), Democratic Republic of the Congo, Denmark, Djibouti, Dominica, Dominican Republic, Ecuador, Egypt, El Salvador, Equatorial Guinea, Eritrea, Estonia, Ethiopia, Falkland Islands (Islas Malvinas), Fiji, Finland, France, Gabon Republic, Gambia, Georgia, Germany, Ghana, Gibraltar, Greece, Greenland, Grenada, Guatemala, Guernsey, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Hong Kong, Hungary, Iceland, India, Indonesia, Iraq, Ireland, Israel, Italy, Jamaica, Japan, Jersey, Jordan, Kazakhstan, Kenya, Kiribati, Kuwait, Kyrgyzstan, Laos, Latvia, Lebanon, Lesotho, Liberia, Liechtenstein, Lithuania, Luxembourg, Macau, Macedonia, Madagascar, Malawi, Malaysia, Maldives, Mali, Malta, Mauritania, Mauritius, Mayotte, Mexico, Moldova, Monaco, Mongolia, Montenegro, Montserrat, Morocco, Mozambique, Namibia, Nauru, Nepal, Netherlands, Netherlands Antilles, New Zealand, Nicaragua, Niger, Nigeria, Niue, Norway, Oman, Pakistan, Paraguay, Peru, Philippines, Poland, Portugal, Qatar, Republic of Croatia, Republic of the Congo, Romania, Rwanda, Saint Helena, Saint Kitts-Nevis, Saint Lucia, Saint Pierre and Miquelon, Saint Vincent and the Grenadines, San Marino, Saudi Arabia, Senegal, Serbia, Seychelles, Sierra Leone, Singapore, Slovakia, Slovenia, Solomon Islands, Somalia, South Africa, South Korea, Spain, Sri Lanka, Suriname, Svalbard and Jan Mayen, Swaziland, Sweden, Switzerland, Taiwan, Tajikistan, Tanzania, Thailand, Togo, Tonga, Trinidad and Tobago, Tunisia, Turkey, Turkmenistan, Turks and Caicos Islands, Tuvalu, Uganda, United Arab Emirates, United Kingdom, Uruguay, Uzbekistan, Vanuatu, Vatican City State, Vietnam, Wallis and Futuna, Western Sahara, Worldwide, Yemen, Zambia, Zimbabwe
Excludes:
APO/FPO, Alaska/Hawaii, Barbados, Belarus, French Guiana, French Polynesia, Guadeloupe, Libya, Martinique, New Caledonia, Panama, Papua New Guinea, Reunion, Russian Federation, US Protectorates, Ukraine, Venezuela, Western Samoa
Postage and packaging | Each additional item | To | Service | Delivery*See Delivery notes |
---|---|---|---|---|
Free postage | Free | United States | Economy Shipping | Estimated between Tue, 9 Jul and Fri, 19 Jul to 43230 |
Dispatch time |
---|
Will usually dispatch within 10 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 #386659275513
Sales tax for an item #386659275513
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 | Refund will be given as | Return postage |
---|---|---|
30 days | Money back | 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 (1,025,563)
s***c (37)- Feedback left by buyer.
Past month
Verified purchase
Arrived in perfect condition.
-***7 (33)- Feedback left by buyer.
Past month
Verified purchase
Item delivered quickly and well-packaged.
n***h (28)- Feedback left by buyer.
Past month
Verified purchase
Great Book. Lots of tasty recipes. Showed up in a timely manner.
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,
- Grand Prix International Magazines,
- Flying Review International Magazines,
- Jazz Journal International Magazines,
- International Times Magazines in English,
- Scale Models International Magazines