NASA Formal Methods
12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings
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.
CHF 87.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Jha, Susmit (Hrsg.) / Mavridou, Anastasia (Hrsg.)
- ISBN: 978-3-030-55754-6
- EAN: 9783030557546
- Produktnummer: 34566468
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2020
- Seitenangabe: 442 S.
- Plattform: PDF
- Masse: 25'097 KB
- Auflage: 1st ed. 2020
- Abbildungen: 49 schwarz-weiße Abbildungen, Bibliographie
- Reihenbandnummer: 12229
1 weiteres Werk von Ritchie (Hrsg.) Lee:
Bewertungen
Anmelden