An edition of Complete Symbolic Simulation of SystemC Models
(2016)
Complete Symbolic Simulation of SystemC Models
Efficient Formal Verification of Finite Non-Terminating Programs
by Vladimir Herdt
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Computer software, verification| Edition | Availability |
|---|---|
1
Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs
2016, Springer Vieweg. in Springer Fachmedien Wiesbaden GmbH
in English
3658126809 9783658126803
|
zzzz
|
2
Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs
Mar 17, 2016, Springer Vieweg
paperback
3658126795 9783658126797
|
aaaa
|
Book Details
Edition Notes
Source title: Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs (BestMasters)
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| June 17, 2022 | Edited by ImportBot | import existing book |
| May 5, 2020 | Created by ImportBot | import new book |