Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: ACM Digital LibraryVerlag: Austin, TX : FMCAD Inc, 2014Beschreibung: 1 online resource (219 pages)ISBN:- 9780983567844
Dieser Titel hat keine Exemplare