0
EUR
00,00*
Warenkorb EUR 00,00 *
Filter
    Erweiterte Suche
    Konto anlegen
    1. Startseite

    2. Symbolic Execution – alle Bücher

    Ihre Suche nach "symbolic execution" ergab 1 Treffer

    Ansicht:
    Rolf Drechsler: Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes, Buch

    Rolf Drechsler, Pascal Pieper
    Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes

    This book deals with formal and practical approaches for early fast modeling and verification of complex digital processor hardware and software using SystemC-based virtual prototypes. As a special focus,…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 131,42*
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.
    © jpc-Schallplatten-Versandhandelsgesellschaft mbH