|  |
 |
| Artikel-Nr.: 858A-9783030315870 Herst.-Nr.: 9783030315870 EAN/GTIN: 9783030315870 |
| |
|
|  |  |
 | Selected Contributions from FDL 2018 Weitere Informationen:  |  | Author: | Tom J. Kazmierski; Sebastian Steinhorst; Daniel Große | Verlag: | Springer International Publishing | Sprache: | eng |
|
|  |  |
 | |  |  |
 | Weitere Suchbegriffe: allgemeine technikbücher - englischsprachig, Automatic Synthesis; Design Specification Languages; Design Verification; FDL 2018; Mechanized Debugging; Rapid Prototyping, Design Specification Languages, Design Verification, Automatic Synthesis, Mechanized Debugging, Rapid Prototyping, FDL 2018 |
|  |  |
| |