Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs - BestMasters - Vladimir Herdt - Books - Springer - 9783658126797 - March 29, 2016
In case cover and title do not match, the title is correct

Vladimir Herdt
Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs - BestMasters 1st ed. 2016 edition

Price
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 14 - 20

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 29, 2016
ISBN13 9783658126797
Publishers Springer
Pages 162
Dimensions 148 × 210 × 11 mm   ·   244 g
Language German  

More by Vladimir Herdt

Show all

Mere med samme udgiver

See all of Vladimir Herdt ( e.g. Hardcover Book and Paperback Book )