0
EUR
00,00*
Warenkorb EUR 00,00 *
    Erweiterte Suche
    Konto anlegen

    Trefferliste "Runtimeverification" - alle Bücher

    Ihre Suche nach "Runtimeverification" (Bücher) ergab 2 Treffer.
    Ansicht:

    Runtime Verification

    Lecture Notes in Computer Science - Band 17117

    This book constitutes the refereed proceedings of the 26th International Conference on Runtime Verification, RV 2026, held in Kingston, ON, Canada, during October 6--9, 2026.The 9 regular papers, 5 short …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 89,80

    Christoph Hazott, Daniel Große
    Breaking Barriers in HW-to-SW Stack Verification

    This book aims to overcome the barriers in HW-to-SW stack verification, specifically those posed by the test oracle problem and isolated analysis. The authors provide tools and strategies that make it fea…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 120,46
    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.