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 107.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Giannakopoulou, Dimitra (Hrsg.) / Mavridou, Anastasia (Hrsg.) / Jha, Susmit (Hrsg.)
- ISBN: 978-3-030-55753-9
- EAN: 9783030557539
- Produktnummer: 35398312
- Verlag: Springer International Publishing
- Sprache: Englisch
- Erscheinungsjahr: 2020
- Seitenangabe: 468 S.
- Masse: H23.5 cm x B15.5 cm x D2.5 cm 703 g
- Auflage: 1st ed. 2020
- Abbildungen: Paperback
- Gewicht: 703
1 weiteres Werk von Ritchie (Hrsg.) Lee:
Bewertungen
Anmelden