Title: NASA Formal Methods
Publisher: Springer International Publishing Aug 2020
Publication Date: 2020
Language: English
ISBN 10: 3030557537
ISBN 13: 9783030557539
Binding: Taschenbuch
Condition: Neu
Dimensions: 235 millimeters width by 155 millimeters height by 26 millimeters depth
Weight: 703 grams

About this title

Synopsis

This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.*

The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions. The papers are organized in the following topical sections: learning and formal synthesis; formal methods for DNNs; high assurance systems; requirement specification and testing; validation and solvers; solvers and program analysis; verification and times systems; autonomy and other applications; and hybrid and cyber-physical systems.

*The conference was held virtually due to the COVID-19 pandemic.

The chapter “Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

From the Back Cover

This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.*

*The conference was held virtually due to the COVID-19 pandemic.

The chapter “Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

"About this title" may belong to another edition of this title.

Store Description

Visit Seller's Storefront

Seller's business information

BuchWeltWeit Ludwig Meier e.K.
Germany

Sale & Shipping Terms

Terms of Sale

Allgemeine Gesch�ftsbedingungen mit Kundeninformationen
Inhaltsverzeichnis
Geltungsbereich
Vertragsschluss
Widerrufsrecht
Preise und Zahlungsbedingungen
Liefer- und Versandbedingungen
Eigentumsvorbehalt
M�ngelhaftung
Anwendbares Recht
Gerichtsstand
Alternative Streitbeilegung

Geltungsbereich
1.1 Diese Allgemeinen Gesch�ftsbedingungen (nachfolgend "AGB") des BuchWeltWeit Inh. Ludwig Meier e.K. (nachfolgend "Verk�ufer"), gelten f�r alle Vertr�ge, die ein Verbraucher oder Unternehmer (nachfolgend ?...

More Information

Shipping Terms

Der Versand ins Ausland findet IMMER mit DHL statt. Auch nach �sterreich verschicken wir nur mit DHL! Daher Standardversand == Luftpost!

Shipping rates from Germany to U.S.A.

Shipping rates from Germany to U.S.A.
Order quantity	5 to 15 business days	5 to 15 business days
First item	US$ 26.74	US$ 26.74

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.