Carte Interactive Theorem Proving Mauricio Ayala-Rincón

Interactive Theorem Proving

Limbă: engleză
Legare: Carte broșată
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
277.75 lei
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Th...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2017
Pagini
532
EAN
9783319661063
ISBN
331966106X
Enbook ID
16771860
Greutate
8248
Dimensiuni
155 x 235 x 29

Descriere completă

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.

S-ar putea să te intereseze

In the Ocean

Stephanie Fizer Coleman
87.27 lei

American Notes

Rudyard Kipling
36.04 lei
123.53 lei
830.22 lei
64.49 lei
156.03 lei

7-Figure Coach

Tara Mullarkey
61.55 lei

Shadow Rising

Robert Jordan
257.09 lei
494.03 lei
172.23 lei

Third Act Encore

Robert R. Blume
260.63 lei

UNTITLED RED TOWER RELEASE

MAEHRER HANNAH NICOLE
83.33 lei

Bad Bishop

L.J. Shen
53.96 lei

Dear Debbie

Freida McFadden
49.71 lei

Quiver

Stephanie Spinner
38.98 lei

Clienții care au cumpărat această carte au mai cumpărat și

Paris

Zola
52.75 lei
56.09 lei
64.70 lei
87.27 lei
203.72 lei
118.67 lei
319.87 lei

Nessahira

Esin Kiroglu
81.40 lei
264.38 lei
362.90 lei