Picture 1 of 1
Picture 1 of 1
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, M
US $96.03
Condition:
3 available
Shipping:
International shipment of items may be subject to customs processing and additional charges.
Located in: Calgary, Alberta, Canada
Delivery:
Estimated between Sat, Jun 29 and Tue, Jul 9 to 43230
Includes 10 business days handling time after receipt of cleared payment.
Please allow additional time if international delivery is subject to customs processing.
Returns:
Payments:
Special financing available. See terms and apply now- for PayPal Credit, opens in a new window or tab
Earn up to 5x points when you use your eBay Mastercard®. Learn moreabout earning points with eBay Mastercard
Shop with confidence
Seller assumes all responsibility for this listing.
eBay item number:364789908892
Item specifics
- Condition
- ISBN-13
- 9783031331695
- Book Title
- NASA Formal Methods
- ISBN
- 9783031331695
- Subject Area
- Computers, Mathematics
- Publication Name
- NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
- Publisher
- Springer
- Item Length
- 9.3 in
- Subject
- Software Development & Engineering / General, Hardware / General, Computer Science, General
- Publication Year
- 2023
- Series
- Lecture Notes in Computer Science Ser.
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Item Weight
- 27.6 Oz
- Item Width
- 6.1 in
- Number of Pages
- Xxiii, 490 Pages
About this product
Product Information
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.
Product Identifiers
Publisher
Springer
ISBN-10
3031331699
ISBN-13
9783031331695
eBay Product ID (ePID)
15060628578
Product Key Features
Number of Pages
Xxiii, 490 Pages
Language
English
Publication Name
NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Publication Year
2023
Subject
Software Development & Engineering / General, Hardware / General, Computer Science, General
Type
Textbook
Subject Area
Computers, Mathematics
Series
Lecture Notes in Computer Science Ser.
Format
Trade Paperback
Dimensions
Item Weight
27.6 Oz
Item Length
9.3 in
Item Width
6.1 in
Additional Product Features
Dewey Edition
23
Series Volume Number
13903
Number of Volumes
1 Vol.
Illustrated
Yes
Dewey Decimal
004.0151
Lc Classification Number
Qa76.758
Table of Content
Non-linear Activation Functions.- Open and Closed-Loop Neural Network Verification using Polynomial Zonotopes.- Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations.- Formalizing Piecewise Affne Activation Functions of Neural Networks in Coq.- Verifying an Aircraft Collision Avoidance Neural Network with Marabou.- Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access.- Learning Symbolic Timed Models from Concrete Timed Data.- Reward Shaping from Hybrid Systems Models in Reinforcement Learning.- Conservative Safety Monitors of Stochastic Dynamical Systems.- Code-level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems.- Reasoning with Metric Temporal Logic and Resettable Skewed Clocks.- Formal Guarantees for Centralized Multi-Agent Synthesis with Spatial Constraints via Mixed-Integer Quadratic Programming.- A Framework for Policy Based Negotiation.- Rewrite-Based Decomposition of Signal Temporal Logic Specifications.- Quantitative Verification and Strategy Synthesis for BDI Agents.- Multi-Objective Task Assignment and Multiagent Planning with Hybrid GPU-CPU Acceleration.- Reasoning over Test Specifications using Assume-Guarantee Contracts.- Formally Proved Memory Controllers: From the Standards to Silicon.- Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework.- Formalized High Level Synthesis with Applications to Cryptographic Hardware.- From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif.- Automata-Based Software Model Checking of Hyperproperties.- Condition Synthesis Realizability via Constrained Horn Clauses.- A Toolkit for Automated Testing of Dafny.- Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation.- Subtropical Satisfiability for SMT Solving.- A Linear Weight Transfer Rule for Local Search.- 1.1 : Zero-suppressed Decision Diagrams in External Memory.- Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem.
Copyright Date
2023
Item description from the seller
Seller assumes all responsibility for this listing.
eBay item number:364789908892
Shipping and handling
Item location:
Calgary, Alberta, Canada
Ships to:
Worldwide
Excludes:
APO/FPO, Alaska/Hawaii, Belarus, Kuwait, Macedonia, Morocco, Qatar, Russian Federation, Saudi Arabia, Switzerland, US Protectorates, Ukraine
| Shipping and handling | Each additional item | To | Service | Delivery*See Delivery notes |
|---|---|---|---|---|
| Free shipping | Free | United States | Economy Shipping | Estimated between Sat, Jun 29 and Tue, Jul 9 to 43230 |
| Handling time |
|---|
| Will ship within 10 business days of receiving cleared payment. The seller has specified an extended handling time for this item. |
| Taxes |
|---|
| Taxes may be applicable at checkout. Learn moreLearn more about paying tax on eBay purchases. |
Sales Tax for an item #364789908892
Sales Tax for an item #364789908892
Seller collects sales tax for items shipped to the following states:
| State | Sales Tax Rate |
|---|
Return policy
| After receiving the item, contact seller within | Refund will be given as | Return shipping |
|---|---|---|
| 30 days | Money Back | Buyer pays for return shipping |
Refer to eBay Return policyopens in a new tab or window for more details. You are 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.
Payment details
Payment methods
Seller feedback (1,025,469)
i***6 (139)- Feedback left by buyer.
Past 6 months
Verified purchase
Item as described, good price, well packaged, arrived slightly later than hoped (not in time for Christmas ) but the order was placed in a very busy shipping period. No issue with the seller’s speed of response and sending the item. Great seller!
l***a (3517)- Feedback left by buyer.
Past month
Verified purchase
Excellent seller. Timely shipping, safe packing, good communication, great price and as described. Thank you. A+++
o***b (144)- Feedback left by buyer.
Past month
Verified purchase
The seller is one of the best there is - high quality books, reasonable prices, securely packaged.
I do, however, recommend some changes to their shipping - they show a shipper (SortHub) on eBay, but the tracking # they email is for a different carrier. It’s difficult to know where my purchase is.
This time, it was delivered a week late. In the grand scheme of things not a big deal. But it shouldn’t be this difficult to accurately track my purchase.
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,
- International Edition Textbooks,
- Textbook International Edition Textbooks,
- International Edition Psychology Textbooks,
- Jean M. Auel Fiction Fiction & Books,
- L. M. Montgomery Fiction Fiction & Books