Produktbild
Ritchie (Hrsg.) Lee

NASA Formal Methods

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

Ebook (PDF Format)

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)

Versandfertig innerhalb 1-3 Werktagen
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


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.