Format:
Online-Ressource
ISBN:
9781424424177
,
1424424178
,
9781424424177
Note:
Parallel als Druckausg. erschienen
,
Co-located with the Design Automation Conference (DAC)
Language:
English
Keywords:
Hardwareentwurf
;
Softwareentwicklung
;
Formale Methode
;
Systementwurf
;
Konferenzschrift
URL:
Volltext
(lizenzpflichtig)