|  |
| |
| Artikel-Nr.:
5667A-9783319063164 Herst.-Nr.:
9783319063164 EAN/GTIN:
9783319063164 |
| |
|
| | |
| Selected Contributions from FDL 2013 Weitere Informationen: | | Author: | Marie-Minerve Louërat; Torsten Maehne | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine technikbücher - englischsprachig, Elektronik / Mikroelektronik, Mikroelektronik, Automatic Synthesis; Design Specification Languages; Design Verification; FDL 2013; Formal Methods in System Design; Mechanized Debugging; Rapid Prototyping, Automatic Synthesis, Design Specification Languages, Design Verification, FDL 2013, Formal Methods in System Design, Mechanized Debugging, Rapid Prototyping |
| | |
| |