Zdjęcie 1 z 1
Metody formalne NASA: 14. Międzynarodowe Sympozjum, Nfm 2022, Pasadena, Ca, U...–
Stan:
Dostępne: 2
Wysyłka:
Znajduje się w: Jessup, Maryland, Stany Zjednoczone
Dostawa:
Szacowana między Wt, 11 cze a So, 22 cze do 43230
Zwroty:
Zwrot w ciągu 14 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
- 96,8% opinii pozytywnych
Zarejestrowany jako sprzedawca-firma
Sprzedawca ponosi pełną odpowiedzialność za wystawienie tej oferty sprzedaży.
Nr przedmiotu eBay: 364800441862
Ostatnia aktualizacja: 22-04-2024 16:24:55 CEST Wyświetl wszystkie poprawkiWyświetl wszystkie poprawki
Parametry przedmiotu
- Stan
- Book Title
- Nasa Formal Methods : 14th International Symposium, Nfm 2022, Pas
- ISBN
- 9783031067723
- Publication Year
- 2022
- Series
- Lecture Notes in Computer Science Ser.
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Publication Name
- NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings
- Item Length
- 9.3in
- Publisher
- Springer International Publishing A&G
- Item Width
- 6.1in
- Item Weight
- 45.2 Oz
- Number of Pages
- Xxii, 828 Pages
O tym produkcie
Product Information
This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 33 full and 6 short papers presented in this volume were carefully reviewed and selected from 118submissions. The volume also contains 6 invited papers. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. The focus on topics such as interactive and automated theorem proving; SMT and SAT solving; model checking; use of machine learning and probabilistic reasoning in formal methods; formal methods and graphical modeling languages such as SysML or UML; usability of formal method tools and application in industry, etc.
Product Identifiers
Publisher
Springer International Publishing A&G
ISBN-10
303106772x
ISBN-13
9783031067723
eBay Product ID (ePID)
26057265354
Product Key Features
Publication Name
NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings
Format
Trade Paperback
Language
English
Publication Year
2022
Series
Lecture Notes in Computer Science Ser.
Type
Textbook
Number of Pages
Xxii, 828 Pages
Dimensions
Item Length
9.3in
Item Width
6.1in
Item Weight
45.2 Oz
Additional Product Features
Series Volume Number
13260
Number of Volumes
1 Vol.
Lc Classification Number
Qa76.758
Table of Content
Invited Keynotes.- Formal Methods for Trusted Space Autonomy: Boon or Bane.- An Essence of Domain Engineering - A Basis for Trustworthy Aeronautics and Space Software.- Concept Design Moves.- Automating Program Transformation with Coccinelle.- The Prusti Project: Formal Verification for Rust.- Summers Reachability Analysis for Cyber-Physical Systems: Are we there yet.- Regular Submissions.- Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems.- Quantification of Battery Depletion Risk Made Efficient.- Hierarchical Contract-based Synthesis for Assurance Cases.- Verified Probabilistic Policies for Deep Reinforcement Learning.- NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing.- The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS.- Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning.- Towards Refactoring FRETish Requirements.- Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability.- ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs.- Permutation Invariance of Deep Neural Networks with ReLUs.- Configurable Benchmarks for C Model Checkers.- AssumeGuarantee Reasoning with Scheduled Components.- Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning.- From Verified Scala to STIX File System Embedded Code using Stainless.- On the Termination of Borrow Checking in Featherweight Rust.- Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme.- Zone Extrapolations in Parametric Timed Automata.- Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior.- Timed Automata Learning via SMT Solving.- Asynchronous Composition of Local Interface LTL Properties.- Elucidation and Analysis of Specification Patterns in Aerospace System Telemetry.- Robust Computation Tree Logic.- On the-Fly Model Checking with Neural MCTS.- Checking and Test Generation for Comprehensive Verification.- Operational Annotations: a New Method for Sequential Program Verification.- Byzantine Fault Tolerant Consensus in Agda.- DSV: Disassembly Soundness Validation without Assuming a Ground Truth.- Probabilistic Hyperproperties with Rewards.- Hypercontracts.- Monitorability of Expressive Verdicts.- BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees.- Approximate Translation from Floating-Point to Real-Interval Arithmetic.- Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT.- Certified Computation of Nondeterministic Limits.- The Power of Disjoint Support Decompositions in Decision Diagrams.- Incremental Transitive Closure for Zonal Abstract Domain.- Proof Mate: an Interactive Proof Helper for PVS.- Runtime Verification Triggers.- Real-time, Autonomous Fault Recovery on the CySat-I.
Copyright Date
2022
Topic
Software Development & Engineering / General, General
Dewey Decimal
004.0151
Dewey Edition
23
Illustrated
Yes
Genre
Computers, Mathematics
Opis przedmiotu podany przez sprzedawcę
Informacje o firmie
Expert Trading Limited
John Boyer
9220 Rumsey Rd
Ste 101
21045-1956 Columbia, MD
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: 364800441862
Ostatnia aktualizacja: 22-04-2024 16:24:55 CEST Wyświetl wszystkie poprawkiWyświetl wszystkie poprawki
Wysyłka i obsługa
Lokalizacja przedmiotu:
Jessup, Maryland, Stany Zjednoczone
Wysyłka do:
Afganistan, Albania, Algieria, Ameryki, Andora, Anguilla, Antigua i Barbuda, Argentyna, Armenia, Aruba, Australia, Austria, Azerbejdżan, Bahamy, Bahrajn, Bangladesz, Belgia, Belize, Benin, Bermudy, Bhutan, Boliwia, Bośnia i Hercegowina, Brunei, Burkina Faso, Burundi, Bułgaria, Chile, Chiny, Chorwacja, Cypr, Czarnogóra, Czechy, Dania, Demokratyczna Republika Konga, Dominikana, Dżibuti, Egipt, Ekwador, Erytrea, Estonia, Etiopia, Europa, Fidżi, Filipiny, Finlandia, Gabon, Gambia, Ghana, Gibraltar, Grecja, Grenada, Grenlandia, Gruzja, Gujana, Gwatemala, Gwinea, Gwinea Bissau, Gwinea Równikowa, Haiti, Hiszpania, Holandia, Honduras, Hongkong, Indie, Indonezja, Irlandia, Islandia, Izrael, Jamajka, Japonia, Jordania, Kajmany, Kambodża, Kamerun, Kanada, Katar, Kazachstan, Kenia, Kirgistan, Kiribati, Kolumbia, Kongo, Korea Południowa, Kostaryka, Kuwejt, Liban, Liberia, Liechtenstein, Litwa, Luksemburg, Madagaskar, Makau, Malawi, Malediwy, Malezja, Mali, Malta, Maroko, Mauretania, Meksyk, Monako, Mongolia, Montserrat, Mozambik, Mołdawia, Namibia, Nauru, Nepal, Niemcy, Niger, Nikaragua, Norwegia, Nowa Zelandia, Oman, Pakistan, Panama, Papua-Nowa Gwinea, Paragwaj, Peru, Polska, Portugalia, Południowa Afryka, Republika Zielonego Przylądka, Republika Środkowoafrykańska, Rumunia, Rwanda, Saint Kitts i Nevis, Saint Lucia, Saint Vincent i Grenadyny, Salwador, Samoa Zachodnie, San Marino, Senegal, Serbia, Sierra Leone, Singapur, Sri Lanka, Surinam, Szwajcaria, Szwecja, Słowacja, Słowenia, Tajlandia, Tajwan, Tanzania, Togo, Tonga, Trynidad i Tobago, Tunezja, Turks i Caicos, Uganda, Uzbekistan, Vanuatu, Wallis i Futuna, Watykan, Wielka Brytania, Wietnam, Wybrzeże Kości Słoniowej, Wyspy Salomona, Węgry, Włochy, Zambia, Zimbabwe, Zjednoczone Emiraty Arabskie, Łotwa
Wykluczenia:
APO/FPO, Angola, Arabia Saudyjska, Barbados, Botswana, Brazylia, Czad, Eswatini, Francja, Gujana Francuska, Gwadelupa, Jemen, Laos, Lesotho, Libia, Macedonia Północna, Martynika, Mauritius, Nigeria, Nowa Kaledonia, Polinezja Francuska, Protektoraty USA, Reunion, Rosja, Saint Pierre i Miquelon, Seszele, Tadżykistan, Turcja, Turkmenistan, Ukraina, Urugwaj, Wenezuela
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 So, 22 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 |
---|
Sprzedawca nalicza podatek od sprzedaży w |
Podatek od sprzedaży dla przedmiotu nr 364800441862
Podatek od sprzedaży dla przedmiotu nr 364800441862
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 |
---|---|---|
14 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
Zarejestrowany jako sprzedawca-firma
Opinie sprzedawców (341 877)
n***l (252)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Very clear to understand how passover works.
f***s (321)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
Great book! Thank you! A+
i***e (2365)- Opinie wystawione przez kupującego.
Ostatni miesiąc
Zakup potwierdzony
100 % Satisfied - Thank You !