Assia Mahboubi - Böcker

Visar alla böcker från författaren Assia Mahboubi.
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 329 kr

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

Interactive Theorem Proving

Av Jeremy Avigad, Assia Mahboubi

Häftad, Engelska, 2018

1 309 kr

Skickas inom 10-15 vardagar