Jasmin Blanchette - Böcker

Visar alla böcker från författaren Jasmin Blanchette.
2 produkter
Jasmin Blanchette, Laura Kovács, Dirk Pattinson, Laura Kovacs - Automated Reasoning, Häftad

Automated Reasoning

Av Jasmin Blanchette, Laura Kovács, Dirk Pattinson, Laura Kovacs

Häftad, Engelska, 2022

589 kr

Skickas inom 10-15 vardagar
  • 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