Carte Interactive Theorem Proving Christian Urban

Interactive Theorem Proving

6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

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

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2015
Pagini
469
EAN
9783319221014
ISBN
3319221019
Enbook ID
09378411
Greutate
7256
Dimensiuni
155 x 235 x 28

Descriere completă

This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

S-ar putea să te intereseze

Bedouins into Bourgeois

Calvert W. Jones
708.30 lei

Deus Comedieta

Tade Bolade
65.68 lei

Biocalorimetry

Margarida Bastos
1 485.53 lei
77.37 lei

The Smile of the Sphinx

Marguerite Bouvet
147.70 lei

Harmony in Chopin

David Damschroder
255.51 lei

Childbirth Trauma

Stergios K Doumouchtsis
809.06 lei
486.34 lei
51.78 lei
148.30 lei

Antiviral Agents

Ernst Jucker
276.36 lei

Machine

James Smythe
67.30 lei
49.26 lei

Who is Jesus?

Thomas P. Rausch
113.54 lei

And All for What?

D.W.J. Cuddeford
249.26 lei

Jutland 1916

Charles London
110.32 lei
139.74 lei
133.90 lei

Poetry of Being

Vaidehi Raipat
34.15 lei

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

104.67 lei

Historien

Tacitus
112.03 lei
86.84 lei
129.86 lei

Klementina von Porretta

Christoph Martin Wieland
48.65 lei

Strandgut

Tanja Korf
49.06 lei
131.98 lei