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

Computer Science Foundations and Applied Logic

Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking. Today they are used to verify operating systems, c…

lieferbar ab 1.1.2027.

Buch

EUR 98,11* Aktueller Preis: EUR 98,11

Artikel merken

In den Warenkorb

Menge ändern