> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Advanced symbolic analysis for VLSI systems : methods and applications Beteiligte: Shi, Guoyong [Verfasser:in]; Tan, Sheldon [Verfasser:in]; Tlelo-Cuautle, Esteban [Verfasser:in] Erschienen: New York, NY: Springer, 2014 Umfang: XVIII, 300 S.; graph. Darst Sprache: Englisch ISBN: 9781493911028 RVK-Notation: ZN 4904 : Schaltungsentwurf Entstehung: Anmerkungen: