Picture 1 of 1
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, M
Condition:
3 available
Postage:
Located in: Calgary, Alberta, Canada
Delivery:
Estimated between Sat, 29 Jun and Tue, 9 Jul to 43230
Returns:
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
Shop with confidence
Seller information
- 98.3% positive feedback
Registered as a Business Seller
Seller assumes all responsibility for this listing.
eBay item number:364789908892
Item specifics
- Condition
- Brand New: A new, unread, unused book in perfect condition with no missing or damaged pages. See all condition definitionsopens in a new window or tab
- 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
Postage and handling
Item location:
Calgary, Alberta, Canada
Post to:
Worldwide
Excludes:
APO/FPO, Alaska/Hawaii, Belarus, Kuwait, Macedonia, Morocco, Qatar, Russian Federation, Saudi Arabia, Switzerland, US Protectorates, Ukraine
| Postage and handling | Each additional item | To | Service | Delivery*See Delivery notes |
|---|---|---|---|---|
| Free postage | Free | United States | Economy Shipping | Estimated between Sat, 29 Jun and Tue, 9 Jul to 43230 |
| Handling time |
|---|
| Will usually post within 10 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 #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 |
|---|---|
| 30 days after the buyer receives it | Money Back |
The buyer is responsible for return postage costs.
Seller feedback (1,025,460)
n***1 (714)- Feedback left by buyer.
Past month
Verified purchase
Perfect.
m***o (84)- Feedback left by buyer.
Past month
Verified purchase
Great seller, item as described and in wonderful condition.
m***e (1886)- Feedback left by buyer.
Past month
Verified purchase
The book arrived quickly and in wonderful condition. Thank you.