Proof Assistants and Their Applications in Mathematics and Computer Science de Assia Mahboubi

Proof Assistants and Their Applications in Mathematics and Computer Science: Computer Science Foundations and Applied Logic

Editat de Assia Mahboubi, Jasmin Blanchette

en Limba Engleză Hardback – 12 feb 2026

Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking.

Citește tot Restrânge

Din seria Computer Science Foundations and Applied Logic

20%

Preț: 493^.40 lei
20%

Preț: 1413^.57 lei
20%

Preț: 375^.86 lei
20%

Preț: 559^.06 lei
20%

Preț: 428^.40 lei
20%

Preț: 1228^.89 lei
nou

Preț: 401^.80 lei

Preț: 465^.68 lei

Preț vechi: 561^.06 lei
-17% Precomandă

Puncte Express: 699

:
82^.41€ • 96^.10$ • 72^.35£

Carte nepublicată încă

Precomandă

Wish list
Gift list
Am citit!

Adaugă în listă

Doresc să fiu notificat când acest titlu va fi disponibil:

Trimite

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783031851896
ISBN-10: 3031851897
Pagini: 390
Dimensiuni: 155 x 235 mm
Editura: Springer International Publishing AG
Seria Computer Science Foundations and Applied Logic

Papetărie, jocuri, reviste

Proof Assistants and Their Applications in Mathematics and Computer Science: Computer Science Foundations and Applied Logic

Preț: 465.68 lei

Specificații

Preț: 465^.68 lei