|  |
| |
| Artikel-Nr.:
858A-9783030888848 Herst.-Nr.:
9783030888848 EAN/GTIN:
9783030888848 |
| |
|
| | |
| The papers are divided into the following topical sub-headings: Automata Theory; Machine learning for Formal Methods; Theorem Proving and Tools; Model Checking; Probabilistic Analysis; Software and Hardware Verification; System Synthesis and Approximation; and Verification of Machine Learning. Weitere Informationen: | | Author: | Zhe Hou; Vijay Ganesh | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, architecture verification and validation, artificial intelligence, automata theory, computer hardware, computer networks, computer systems, embedded systems, field programmable gate array, formal languages, formal logic, FPGA |
| | |
| |