Assia Mahboubi – författare

Visar alla böcker från författaren Assia Mahboubi. Handla med fri frakt och snabb leverans.

3 produkter

1. 

   Proof Assistants and Their Applications in Mathematics and Computer Science

   Av Jasmin Blanchette, Assia Mahboubi

   Inbunden, 2027

   894 kr

   Kommande

   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, compilers, and cryptographic protocols, as well as landmark results in mathematics such as the …

2. 

   Interactive Theorem Proving

   9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

   Av Jeremy Avigad, Assia Mahboubi

   Häftad, 2018

   1018 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature research in the …

3. 

   Interactive Theorem Proving

   9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

   Av Assia Mahboubi, Jeremy Avigad

   E-bok, 2018

   1292 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018. The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature research in the …