Komplette symbolische Simulation von systemC-Modellen: Effiziente formale Verifizierung
82,49 €
Verification of Systems. - Introduction to Formal Verification of SystemC Models. - Symbolic Model Checking with Partial Order Reduction. - Efficient Symbolic State Matching using State Subsumption.
Jetzt bei Ebay:
![Produktbild - Decoded Messages: The Symbolic Language of Chinese Animal Painting [Hardback]](https://i.ebayimg.com/thumbs/images/g/LqQAAeSwCc5oQySE/s-l140.jpg)
![Produktbild - The Symbolic Representation of Gender: A Discursive Approach [Paperback] NEUF](https://i.ebayimg.com/thumbs/images/g/A0kAAeSwKQtoPiWi/s-l140.jpg)
![Produktbild - Formal Verification: An Essential Toolkit for Modern VLSI Design [Paperback]](https://i.ebayimg.com/thumbs/images/g/6VcAAeSwgDRoSSWI/s-l140.jpg)
![Produktbild - Symbolic Misery, Volume 2: The Catastrophe of the Sensible [Hardback] NEUF](https://i.ebayimg.com/thumbs/images/g/qlAAAeSw~whoQcgs/s-l140.jpg)
![Produktbild - Symbolic Economies: After Marx and Freud by Jean-Joseph Goux [Paperback] NEUF](https://i.ebayimg.com/thumbs/images/g/0asAAeSwEHpoU0uo/s-l140.jpg)
![Produktbild - Charles Burnett: A Cinema of Symbolic Knowledge by Naremore, James [Paperback]](https://i.ebayimg.com/thumbs/images/g/JCoAAeSwfb9oSaE9/s-l140.jpg)
![Produktbild - Symbolic Interactionism: The Basics (Vernon Series in Sociology) [Hardback] NEUF](https://i.ebayimg.com/thumbs/images/g/gcQAAeSwRmpoN8pk/s-l140.jpg)
