Bild 1 von 1
![NASA Formale Methoden: 11. Internationales Symposium, NFM 2019, Houston, TX, USA, M - Bild 1 von 1](https://i.ebayimg.com/images/g/sLwAAOSwjiRmSY9v/s-l500.jpg)
NASA Formale Methoden: 11. Internationales Symposium, NFM 2019, Houston, TX, USA, M-
Artikelzustand:
3 verfügbar
Versand:
Standort: Fairfield, Ohio, USA
Lieferung:
Lieferung zwischen Di, 9. Jul und Fr, 19. Jul nach 43230 bei heutigem Zahlungseingang
Rücknahmen:
Zahlungen:
Sicher einkaufen
Angaben zum Verkäufer
- 98,3% positive Bewertungen
Angemeldet als gewerblicher Verkäufer
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 Information
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.
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
Language
English
Publication Name
NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings
Publication Year
2019
Subject
Software Development & Engineering / General, Computer Science, Compilers
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
Lc Classification Number
Qa76.758
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.
Copyright Date
2019
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.
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:386659275513
Verpackung und Versand
Artikelstandort:
Fairfield, Ohio, USA
Versand nach:
Afghanistan, Albanien, Algerien, Andorra, Angola, Anguilla, Antigua und Barbuda, Argentinien, Armenien, Aruba, Aserbaidschan, Australien, Bahamas, Bahrain, Bangladesch, Belgien, Belize, Benin, Bermuda, Bhutan, Bolivien, Bosnien und Herzegowina, Botsuana, Brasilien, Britische Jungferninseln, Brunei Darussalam, Bulgarien, Burkina Faso, Burundi, Chile, China, Cookinseln, Costa Rica, Côte d'Ivoire (Elfenbeinküste), Demokratische Republik Kongo, Deutschland, Dominica, Dominikanische Republik, Dschibuti, Dänemark, Ecuador, El Salvador, Eritrea, Estland, Falklandinseln (Malwinen), Fidschi, Finnland, Frankreich, Gabun, Gambia, Georgien, Ghana, Gibraltar, Grenada, Griechenland, Grönland, Guatemala, Guernsey, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Hongkong, Indien, Indonesien, Irak, Irland, Island, Israel, Italien, Jamaika, Japan, Jemen, Jersey, Jordanien, Kaimaninseln, Kambodscha, Kamerun, Kanada, Kapverdische Inseln, Kasachstan, Katar, Kenia, Kirgisistan, Kiribati, Kolumbien, Komoren, Kuwait, Laos, Lesotho, Lettland, Libanon, Liberia, Liechtenstein, Litauen, Luxemburg, Macau, Madagaskar, Malawi, Malaysia, Malediven, Mali, Malta, Marokko, Mauretanien, Mauritius, Mayotte, Mazedonien, Mexiko, Moldawien, Monaco, Mongolei, Montenegro, Montserrat, Mosambik, Namibia, Nauru, Nepal, Neuseeland, Nicaragua, Niederlande, Niederländische Antillen, Niger, Nigeria, Niue, Norwegen, Oman, Pakistan, Paraguay, Peru, Philippinen, Polen, Portugal, Republik Kongo, Republik Kroatien, Ruanda, Rumänien, Saint-Pierre und Miquelon, Salomonen, Sambia, San Marino, Saudi-Arabien, Schweden, Schweiz, Senegal, Serbien, Seychellen, Sierra Leone, Simbabwe, Singapur, Slowakei, Slowenien, Somalia, Spanien, Sri Lanka, St. Helena, St. Kitts und Nevis, St. Lucia, St. Vincent und die Grenadinen, Suriname, Svalbard und Jan Mayen, Swasiland, Südafrika, Südkorea, Tadschikistan, Taiwan, Tansania, Thailand, Togo, Tonga, Trinidad und Tobago, Tschad, Tschechische Republik, Tunesien, Turkmenistan, Turks- und Caicosinseln, Tuvalu, Türkei, Uganda, Ungarn, Uruguay, Usbekistan, Vanuatu, Vatikan, Vereinigte Arabische Emirate, Vereinigtes Königreich, Vietnam, Wallis und Futuna, Weltweit, Westsahara, Zentralafrikanische Republik, Zypern, Ägypten, Äquatorialguinea, Äthiopien, Österreich
Ausgeschlossen:
APO/FPO, Alaska/Hawaii, Barbados, Belarus, Französisch-Guayana, Französisch-Polynesien, Guadeloupe, Libyen, Martinique, Neukaledonien, Panama, Papua-Neuguinea, Russische Föderation, Réunion, Samoa (Westsamoa), US-Protektorate, Ukraine, Venezuela
Verpackung und Versand | Jeder zusätzliche Artikel | Nach | Service | Lieferung*Siehe Lieferhinweise |
---|---|---|---|---|
Kostenloser Versand | Kostenlos | USA | Economy Shipping | Lieferung zwischen Di, 9. Jul und Fr, 19. Jul nach 43230 |
Bearbeitungszeit |
---|
Der Verkäufer verschickt den Artikel innerhalb von 10 Werktagen nach Zahlungseingang. |
Steuern |
---|
An der Kasse fallen ggf. Steuern an. Mehr erfahrenMehr erfahren zu Steuern auf eBay-Käufe. |
Mehrwertsteuer für diesen Artikel #386659275513
Mehrwertsteuer für diesen Artikel #386659275513
Der Verkäufer berechnet Mehrwertsteuer für Artikel, die in die folgenden Bundesstaaten verschickt werden:
Bundesstaat | Steuersatz für Sales Tax |
---|
Rücknahmebedingungen
Frist für Kontaktaufnahme mit dem Verkäufer nach Erhalt Artikels: | Rückerstattung erfolgt in folgender Form: | Rücksendung |
---|---|---|
30 Tage | Geld zurück | Käufer zahlt Rückversand |
Der Käufer trägt die Rücksendekosten.
Rücknahmebedingungen im Detail |
---|
Rücknahme akzeptiert |
Zahlungsdaten
Zahlungsmethoden
Beliebte Kategorien in diesem Shop
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (1.025.541)
v***c (121)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Thanks.
l***l (452)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Item was shipped incorrectly but grandeagleretail gave me a refund . Thanks for the GREAT customer service. Sorry it worked out this was,but again great customer service. Thanks!
e***l (1471)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
AAAAAAAAAAAAAAAAA++++++++++++++++
Noch mehr entdecken:
- Internationale Politikbücher,
- Bücher über internationale Politik Sachbuch,
- Bücher über internationale Küche Sachbuch,
- Bücher über internationale Beziehungen Sachbuch,
- Internationales Recht Studium und Erwachsenenbildung,
- Bücher über internationale Küche Sachbuch Geschichte,
- Bücher über internationale Küche im Taschenbuch Sachbuch,
- Atlant & Landkarte für USA & Kanada,
- Englische Studium und Erwachsenenbildung Internationales Recht,
- Bücher über internationale Politik Sachbuch als gebundene Ausgabe