Bild 1 von 1
Bild 1 von 1
NASA Formale Methoden: 11. Internationales Symposium, NFM 2019, Houston, TX, USA, M-
US $87,15
Ca.EUR 78,29
Artikelzustand:
Neu
Neues, ungelesenes, ungebrauchtes Buch in makellosem Zustand ohne fehlende oder beschädigte Seiten. Genauere Einzelheiten entnehmen Sie bitte dem Angebot des Verkäufers.
3 verfügbar
Versand:
Kostenlos Economy Shipping.
Standort: Fairfield, Ohio, USA
Lieferung:
Lieferung zwischen Di, 8. Okt und Di, 15. Okt nach 43230 bei heutigem Zahlungseingang
Rücknahme:
30 Tage Rückgabe. Käufer zahlt Rückversand.
Zahlungen:
Sicher einkaufen
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:386659275513
Artikelmerkmale
- Artikelzustand
- 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
Über dieses Produkt
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
Artikelbeschreibung des Verkäufers
Rechtliche Informationen des Verkäufers
Premier Books LLC
David Taylor
26C Trolley Sq
19806-3356 Wilmington, DE
United States
Ich versichere, dass alle meine Verkaufsaktivitäten in Übereinstimmung mit allen geltenden Gesetzen und Vorschriften der EU erfolgen.
Beliebte Kategorien in diesem Shop
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (1.032.720)
- l***c (227)- Bewertung vom Käufer.Letzter MonatBestätigter KaufBook came packaged well to avoid damage, in great condition. Not sure if the seller delayed shipping or if usps didn’t update the shipping, which is highly likely. Still received and we are happy with our purchase. I had trouble looking up tracking due to the company they used but seller found usps tracking and sent that over quickly. Sellers communication was excellent. Would buy from again. Item as described.
- t***n (2906)- Bewertung vom Käufer.Letzter MonatBestätigter KaufI don't give negatives; However, description was not correct; No price guide was included in this book.As you will see in book pic shown; title states price guide included, no price guide inside. Communication poor, description, no communication price guide missing from this book. Shipping time was weeks before it was even shipped. Blamed the shipping on warehouse. You own & operate a business; your warehouse is not up to standards you change who you do business with. It's your responsibility.
- -***6 (133)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufItem arrived as described and adequately packaged. Ridiculously long shipping time. Seller posts incorrect tracking number and lists the item as shipped. Contacted seller for correct tracking, received a new tracking number with the warning that the number won’t be “live” until the item is shipped. Will you get your item? Yeah, probably. Count on it being delivered 2-3 weeks longer than expected.
Produktbewertungen & Rezensionen
Noch mehr entdecken:
- Internationale Politikbücher,
- Bücher über internationale Küche Sachbuch,
- Bücher über internationale Beziehungen Sachbuch,
- Internationales Recht Studium und Erwachsenenbildung,
- Internationale Politik Studium und Erwachsenenbildung,
- Bücher über internationale Küche Sachbuch Geschichte,
- Bücher über internationale Politik im Taschenbuch Sachbuch,
- Atlant & Landkarte für USA & Kanada,
- Sachbuch als gebundene Ausgabe Bücher über internationale Küche,
- Sachbuch als gebundene Ausgabe Bücher über internationale Beziehungen