Książka Interactive Theorem Proving Christian Urban

Interactive Theorem Proving

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

Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
212.42
This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Pro...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2015
strony
469
EAN
9783319221014
ISBN
3319221019
Enbook ID
09378411
Waga
7256
Wymiary
155 x 235 x 28

Pełny opis

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.

Możesz być zainteresowany

Machine

James Smythe
51.10

The Smile of the Sphinx

Marguerite Bouvet
112.54

Bedouins into Bourgeois

Calvert W. Jones
548.40

Deus Comedieta

Tade Bolade
50.81

Biocalorimetry

Margarida Bastos
1 145.88

Harmony in Chopin

David Damschroder
197.82

Childbirth Trauma

Stergios K Doumouchtsis
620.93
378.61
39.71
114.68

Antiviral Agents

Ernst Jucker
212.42
37.76

Who is Jesus?

Thomas P. Rausch
87.03
108.06
103.68

Poetry of Being

Vaidehi Raipat
26.47

And All for What?

D.W.J. Cuddeford
192.56

Klienci, którzy kupili tę książkę, kupili również