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.