この商品を友人に教える:
Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs - BestMasters Vladimir Herdt 1st ed. 2016 edition
価格
¥ 8.486
税抜
遠隔倉庫からの取り寄せ
発送予定日 年12月1日 - 年12月11日
クリスマスプレゼントは1月31日まで返品可能です
Vladimir Herdt の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs - BestMasters
Vladimir Herdt
In hismaster thesis, Vladimir Herdt presents a novel approach, called completesymbolic simulation, for a more efficient verification ofmuch larger (non-terminating) SystemC programs.
162 pages, 26 black & white illustrations, 13 black & white tables, biography
![Cover for Vladimir Herdt · Enhanced Virtual Prototyping: Featuring RISC-V Case Studies (Paperback Book) [2021 edition] (2021)](https://imusic.b-cdn.net/images/item/original/308/9783030548308.jpg?vladimir-herdt-2021-enhanced-virtual-prototyping-featuring-risc-v-case-studies-paperback-book&class=scaled&v=1617777292)
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Paperback Book) [1. Aufl. 2025 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Konrad Schmudgen · Unbounded Self-Adjoint Operators on Hilbert Space - Graduate Texts in Mathematics (Hardcover Book) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/822/9789402423822.jpg?konrad-schmudgen-2027-unbounded-self-adjoint-operators-on-hilbert-space-graduate-texts-in-mathematics-hardcover-book&class=scaled&v=1786374320)
![Cover for Handbuch Organisationssoziologie (Hardcover Book) [1. Aufl. 2021 edition] (2026)](https://imusic.b-cdn.net/images/item/original/191/9783658159191.jpg?2026-handbuch-organisationssoziologie-hardcover-book&class=scaled&v=1605099239)
