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

    2. Marijke Huysmans – alle Bücher

    Wir konnten keine exakten Treffer zu Ihrer Suche nach "marijke huysmans" finden. Könnten diese Produkte zu Ihrer Suche passen?

    Ansicht:
    Anton Wijs: Concise Guide to Software Verification, Buch

    Anton Wijs, Marieke Huisman
    Concise Guide to Software Verification

    Texts in Computer Science

    This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the …

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 63,99*
    : Tests and Proofs, Buch

    Tests and Proofs

    Lecture Notes in Computer Science -Band 15153

    This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Methods sym…

    lieferbar innerhalb 2-3 Wochen
    Buch
    EUR 142,37*
    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