> 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 [VerfasserIn]; Tan, Sheldon [VerfasserIn]; Tlelo-Cuautle, Esteban [VerfasserIn] Erschienen: New York, NY: Springer, 2014 Umfang: XVIII, 300 S.; graph. Darst Sprache: Englisch DOI: 10.1007/978-1-4939-1103-5 ISBN: 9781493911028 Identifikator: RVK-Notation: ZN 4904 : Schaltungsentwurf Entstehung: Anmerkungen: