Trefferliste "Assia Mahboubi" - alle Bücher

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

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…

lieferbar ab 12.1.2026.

Buch

EUR 96,91* Aktueller Preis: EUR 96,91

Artikel merken

In den Warenkorb

Menge ändern