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

    Verification – alle Bücher, CDs und LPs, Seite 7

    Ihre Suche nach "Verification" (Bücher, CDs und LPs) ergab 124 Treffer.

    Ansicht:

    Martin Hofmann, Martin Lange
    Automata Theory and Logic

    This book introduces the reader into the field of automata theory and logic. It studies fundamental properties like complementation and determinisation of automata on infinite words and trees, and present…

    sofort lieferbar
    Buch
    Vorheriger Preis EUR 69,33, reduziert um 30%
    Aktueller Preis: EUR 47,99

    Tools and Algorithms for the Construction and Analysis of Systems

    The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, whic…

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

    Tools and Algorithms for the Construction and Analysis of Systems

    The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, whic…

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

    Chenkun Qi, Feng Gao, Yan Hu
    Control of Hardware-In-The-Loop Space Contact Simulation Robot

    The book focuses on control methods of hardware-in-the-loop simulation robots on the ground to simulate the contact dynamics of spacecraft and space manipulators in space. Both principles and engineering …

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