Assia Mahboubi - Böcker

Visar alla böcker från författaren Assia Mahboubi.

2 produkter

Böcker

2 produkter

Nyhet

Jasmin Blanchette, Assia Mahboubi - Proof Assistants and Their Applications in Mathematics and Computer Science, Inbunden

Proof Assistants and Their Applications in Mathematics and Computer Science

Av Jasmin Blanchette, Assia Mahboubi

Inbunden, Engelska, 2026

1 299 kr

Kommande

Jeremy Avigad, Assia Mahboubi - Interactive Theorem Proving, Häftad

Interactive Theorem Proving

Av Jeremy Avigad, Assia Mahboubi

Häftad, Engelska, 2018

1 319 kr

Skickas inom 7-10 vardagar