Zdjęcie 1 z 1
Metody formalne NASA: 15. Międzynarodowe Sympozjum, NFM 2023, Houston, TX, USA, M–
Stan:
Dostępne: 3
Wysyłka:
Znajduje się w: Calgary, Alberta, Kanada
Dostawa:
Szacowana między Wt, 11 cze a Cz, 20 cze do 43230
Zwroty:
Zwrot w ciągu 30 dni. Za wysyłkę zwrotną płaci kupujący. Zobacz szczegóły- aby uzyskać więcej informacji dotyczących zwrotów
Płatności:
Kupuj bez obaw
Informacje o sprzedawcy
- 98,2% opinii pozytywnych
Zarejestrowany jako sprzedawca-firma
Sprzedawca ponosi pełną odpowiedzialność za wystawienie tej oferty sprzedaży.
Nr przedmiotu eBay: 364789908892
Ostatnia aktualizacja: 16-04-2024 13:08:50 CEST Wyświetl wszystkie poprawkiWyświetl wszystkie poprawki
Parametry przedmiotu
- Stan
- ISBN-13
- 9783031331695
- Book Title
- NASA Formal Methods
- ISBN
- 9783031331695
- Publication Year
- 2023
- Series
- Lecture Notes in Computer Science Ser.
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Publication Name
- NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
- Item Length
- 9.3in
- Publisher
- Springer
- Item Width
- 6.1in
- Item Weight
- 27.6 Oz
- Number of Pages
- Xxiii, 490 Pages
O tym produkcie
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
Publication Name
NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Format
Trade Paperback
Language
English
Publication Year
2023
Series
Lecture Notes in Computer Science Ser.
Type
Textbook
Number of Pages
Xxiii, 490 Pages
Dimensions
Item Length
9.3in
Item Width
6.1in
Item Weight
27.6 Oz
Additional Product Features
Series Volume Number
13903
Number of Volumes
1 Vol.
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
Topic
Software Development & Engineering / General, Hardware / General, Computer Science, General
Dewey Decimal
004.0151
Dewey Edition
23
Illustrated
Yes
Genre
Computers, Mathematics
Opis przedmiotu podany przez sprzedawcę
Informacje o firmie
Premier Books LLC
David Taylor
26C Trolley Sq
19806-3356 Wilmington, DE
United States
Oświadczam, że wszystkie moje działania związane ze sprzedażą będą zgodne z wszystkimi przepisami i regulacjami UE.
Sprzedawca ponosi pełną odpowiedzialność za wystawienie tej oferty sprzedaży.
Nr przedmiotu eBay: 364789908892
Ostatnia aktualizacja: 16-04-2024 13:08:50 CEST Wyświetl wszystkie poprawkiWyświetl wszystkie poprawki
Wysyłka i obsługa
Lokalizacja przedmiotu:
Calgary, Alberta, Kanada
Wysyłka do:
Cały świat
Wykluczenia:
APO/FPO, Alaska/Hawaje, Arabia Saudyjska, Białoruś, Katar, Kuwejt, Macedonia Północna, Maroko, Protektoraty USA, Rosja, Ukraina
Wysyłka i obsługa | Każdy dodatkowy przedmiot | Do | Usługa | Dostawa*Zobacz uwagi o dostawie |
---|---|---|---|---|
Bezpłatna wysyłka | Bezpłatnie | Stany Zjednoczone | Economy Shipping | Szacowana między Wt, 11 cze a Cz, 20 cze do 43230 |
Czas na wysłanie |
---|
Zwykle wysyłam przesyłkę w ciągu 10 dni roboczych po otrzymaniu rozliczonej płatności. |
Podatki |
---|
Podczas realizacji transakcji mogą zostać naliczone podatki. Dowiedz się więcejDowiedz się więcej o płaceniu podatku za zakupy na eBay. |
Podatek od sprzedaży dla przedmiotu nr 364789908892
Podatek od sprzedaży dla przedmiotu nr 364789908892
Sprzedawca nalicza podatek od sprzedaży dla przedmiotów wysyłanych do następujących stanów:
Stan | Stawka podatku od sprzedaży |
---|
Warunki zwrotów
Po otrzymaniu przedmiotu skontaktuj się ze sprzedawcą w ciągu | Zwrot pieniędzy zostanie dokonany jako | Wysyłka zwrotna |
---|---|---|
30 dni | Zwrot gotówki | Za wysyłkę zwrotną płaci kupujący |
Kupujący jest odpowiedzialny za opłacenie kosztów wysyłki zwrotnej.
Szczegóły warunków zwrotów |
---|
Zwroty są przyjmowane |
Szczegóły dotyczące płatności
Formy płatności
Popularne kategorie z tego Sklepu
Zarejestrowany jako sprzedawca-firma
Opinie sprzedawców (1 023 541)
o***p (1021)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Great Ebayer A+++
t***s (426)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Thank you.
p***s (129)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Quick. Nice job