Afbeelding 1 van 1
Afbeelding 1 van 1
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, M
US $87,15
OngeveerEUR 78,21
Objectstaat:
Nieuw
Een nieuw, ongelezen en ongebruikt boek in perfecte staat waarin geen bladzijden ontbreken of beschadigd zijn. Bekijk de aanbieding van de verkoper voor de volledige details.
3 beschikbaar
Verzendkosten:
Gratis Economy Shipping.
Bevindt zich in: Fairfield, Ohio, Verenigde Staten
Levering:
Geschatte levering tussen ma, 7 okt en za, 12 okt tot 43230
Retourbeleid:
30 dagen om te retourneren. Koper betaalt voor retourzending.
Betalingen:
Winkel met vertrouwen
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:386659275513
Specificaties
- Objectstaat
- 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
Over dit product
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
Objectbeschrijving van de verkoper
Informatie van zakelijke verkoper
Premier Books LLC
David Taylor
26C Trolley Sq
19806-3356 Wilmington, DE
United States
Ik verklaar dat al mijn verkoopactiviteiten zullen voldoen aan alle wet- en regelgeving van de EU.
Populaire rubrieken in deze winkel
Ingeschreven als zakelijke verkoper
Feedback verkoper (1.032.711)
- 0***0 (517)- Feedback gegeven door koper.Afgelopen maandGeverifieerde aankoopThanks, all good
- e***- (246)- Feedback gegeven door koper.Afgelopen maandGeverifieerde aankoopGood insight into how some families cast aside the weak and helpless and their offspring. She has been going through trama since she was a child and even now. Easy read.....No wonder she became a psychologist.......
- a***r (184)- Feedback gegeven door koper.Afgelopen maandGeverifieerde aankoopGood condition