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

    Trefferliste "Assia Mahboubi" - alle Bücher

    Ihre Suche nach "Assia Mahboubi" (Bücher) ergab 1 Treffer.

    Ansicht:

    Proof Assistants and Their Applications in Mathematics and Computer Science

    Since their beginnings in the 1960s, proof assistants (also called interactive theorem provers) have grown to become essential tools to establish the correctness of hardware and software and to computeriz…

    Erscheint bald
    Buch
    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.