Książka Interactive Theorem Proving Lennart Beringer

Interactive Theorem Proving

Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Język: Angielski
Oprawa: Miękka
Dostępność: Dostępna u dostawcy w małych ilościach
Wysyłamy za 13-18 dni
240.13
This book constitutes the thoroughly refereed proceedings of the Third International Conference on I...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2012
strony
419
EAN
9783642323461
ISBN
3642323464
Enbook ID
01661818
Waga
650
Wymiary
155 x 235 x 25

Pełny opis

This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised full papers presented together with 4 rough diamond papers, 3 invited talks, and one invited tutorial were carefully reviewed and selected from 40 submissions. Among the topics covered are formalization of mathematics; program abstraction and logics; data structures and synthesis; security; (non-)termination and automata; program verification; theorem prover development; reasoning about program execution; and prover infrastructure and modeling styles.

Możesz być zainteresowany

148.64
102.85
93.71

Allergies

Stuart H Young MD
79.22
38.68

Rambling Rhymes

Clare Crooke
42.38
39.66
110.43
278.14

Tarot Spreads

Jeffrey Price
64.84
27.70

The Analysis of Mind

Bertrand Russell
64.64
192.39

Infrastructure We Ride On

Joseph (City College of New York USA) Berechman
436.61

Head Strong

Michael D. Matthews
181.70

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

ORACLES CHALDAIQUES

GEMISTE PLETHON
198.51
134.54

Fantastyczna Czwórka. Tom 1

Opracowanie zbiorowe
103.14
64.45
41.41

Dunkelgraf

Ludwig Bechstein
146.40
201.04

Obra-Jogo

Rocha Aldene
201.04
37.32
139.50