Zdjęcie 1 z 1
Zdjęcie 1 z 1
Metody formalne NASA: 11. Międzynarodowe Sympozjum, NFM 2019, Houston, TX, USA, M–
US $87,15
Około334,85 zł
Stan:
Nowy
Nowa, nieczytana, nieużywana książka w idealnym stanie, wszystkie strony, bez uszkodzeń. Aby poznać więcej szczegółów, zobacz aukcję sprzedającego.
Dostępne: 3
Wysyłka:
Bezpłatnie Economy Shipping.
Znajduje się w: Fairfield, Ohio, Stany Zjednoczone
Dostawa:
Szacowana między Wt, 8 paź a Wt, 15 paź do 43230
Zwroty:
Zwrot w ciągu 30 dni. Za wysyłkę zwrotną płaci kupujący.
Płatności:
Kupuj bez obaw
Sprzedawca ponosi pełną odpowiedzialność za wystawienie tej oferty sprzedaży.
Nr przedmiotu eBay: 386659275513
Ostatnia aktualizacja: 22-09-2024 09:57:03 CEST Wyświetl wszystkie poprawkiWyświetl wszystkie poprawki
Parametry przedmiotu
- Stan
- 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
O tym produkcie
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
Publication Name
NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings
Language
English
Subject
Software Development & Engineering / General, Computer Science, Compilers
Publication Year
2019
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
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.
Synopsis
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., 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 engineering and model-based development; correct-by-design controller synthesis; formal assurance methods to handle adaptive systems.
LC Classification Number
QA76.758
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.
Popularne kategorie z tego Sklepu
Zarejestrowany jako sprzedawca-firma
Opinie sprzedawców (1 032 727)
- 5***3 (1063)- Opinie wystawione przez kupującego.Ostatni miesiącZakup potwierdzonyGreat book, as described.
- a***m (57)- Opinie wystawione przez kupującego.Ostatni miesiącZakup potwierdzonyMy husband loooooves this book so hard to find thanks so much! Great condition!!
- p***u (543)- Opinie wystawione przez kupującego.Ostatni miesiącZakup potwierdzonyArrived as expected, great purchase!