| |
|
| Artikel-Nr.: 5667A-9783030557539 Herst.-Nr.: 9783030557539 EAN/GTIN: 9783030557539 |
| |
|
| | |
| *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. Weitere Informationen: | | Author: | Ritchie Lee; Susmit Jha; Anastasia Mavridou; Dimitra Giannakopoulou | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, bücher für datenbanken - englischsprachig, architecting, architecture verification and validation, artificial intelligence, automated programming, computer programming, embedded systems, formal logic, formal verifications, mathematics, model checking, robotics |
| | |
| |