Jasmin Blanchette - Böcker

Visar alla böcker från författaren Jasmin Blanchette.

2 produkter

Böcker

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 7-10 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 319 kr

Kommande