|  |
 |
| Artikel-Nr.: 5667A-9783319086989 Herst.-Nr.: 9783319086989 EAN/GTIN: 9783319086989 |
| |
|
|  |  |
 | Concepts, Methods, and Algorithms Weitere Informationen:  |  | Author: | Mathias Soeken; Rolf Drechsler | Verlag: | Springer International Publishing | Sprache: | eng |
|
|  |  |
 | |  |  |
 | Weitere Suchbegriffe: allgemeine technikbücher - englischsprachig, Fertigungstechnik, Electronic System Level; formal verification; natural language processing; Software abstraction; Verification of Embedded Systems, Electronic System Level, Formal Specification Level, Formal Verification, Natural language processing, Software abstraction, Verification of Embedded Systems |
|  |  |
| |