Jasmin Blanchette – författare
Visar alla böcker från författaren Jasmin Blanchette. Handla med fri frakt och snabb leverans.
2 produkter
Automated Reasoning
11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings
Av Jasmin Blanchette, Laura Kovács m. fl.
Häftad, 2022
457 kr
Lägg i varukorg
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and …
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 …
