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

    Liveness,Safety – alle Bücher

    Wir konnten keine exakten Treffer zu Ihrer Suche nach "Liveness,Safety" finden. Könnten diese Produkte zu Ihrer Suche passen?

    Ansicht:

    On the Pursuit of Insight and Elegance

    A Methodology for Modular Termination Verification.- Liveness to Safety for Distributed Systems.- On the Power of Temporal Prophecy.- The Beauty of Predicate Automata.- Find, Use, and Conserve Tools for F…

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