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

    Trefferliste "Formal Verification" - alle Bücher

    Ihre Suche nach "Formal Verification" (Bücher) ergab 5 Treffer.

    Ansicht:

    Caroline Dominik
    Embedding Sequential Circuits for their Polynomial Formal Verification

    As digital circuits are at the core of most of our everyday technologies, society heavily relies on their precise and predictable behavior. However, this demand for correctness often clashes with the spee…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 93,08

    Agents and Robots for reliable Engineered Autonomy

    Communications in Computer and Information Science - Band 2700

    This book constitutes the proceedings of the 5th International Workshop on Agents and Robots for Reliable Engineered Autonomy, AREA 2025, which took place in Bologna, Italy, on October 25, 2025, in conjun…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 65,71

    Formal Methods: Foundations and Applications

    Lecture Notes in Computer Science - Band 16363

    This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3--5, 2025.The 12 full pa…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 63,51

    Theoretical Aspects of Software Engineering

    Lecture Notes in Computer Science - Band 15841

    .- Program Verification..- Safeguarding Neural Network-Controlled Systems via Formal Methods: From Safety-by-Design to Runtime Assurance (Invited Talk) ..- Testing-Based Formal Verification with Program S…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 82,13

    Model Checking Software

    Lecture Notes in Computer Science - Band 15945

    This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7--8, 2025.The 9 full papers included in …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Vorheriger Preis EUR 63,51, reduziert um 22%
    Aktueller Preis: EUR 49,28
    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.