Produktbild
Ritchie (Hrsg.) Lee

NASA Formal Methods

12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings

Buch

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)

Versandfertig innerhalb 1-3 Werktagen

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


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.