Kniha Interactive Theorem Proving Marko Van Eekelen

Interactive Theorem Proving

Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

Jazyk: Angličtina
Väzba: Brožovaná
Dostupnosť: Skladom u dodávateľa v malom množstve
Odosielame za 13-18 dní
54.17
This book constitutes the refereed proceedings of the Second International Conference on Interactive...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2011
Stránok
383
EAN
9783642228629
ISBN
3642228623
Enbook ID
01658528
Hmotnosť
605
Rozmery
155 x 235 x 23

Kompletný popis

This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. §The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.

Mohlo by vás zaujímať

107.26

Interactive Video

Riad Hammoud
99.90

Kingdom, Vol. 2

Yasuhisa Hara
11.77
21.68

Honey Bucket Charlie

Lewis H. Carlson
33.95
49.06

The Duties of Parents

John Charles Ryle
6.17
167.42
10.10
20.80

Richard II

Tom Wheelwright
14.61

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Albert Einstein

Johannes Wickert
8.82

Pferdekrankheiten

Wilfried Bellinghausen
17.36

Chromatic herbarium

Massimo Gardone
65.45

Terror

Ferdinand von Schirach
10.59

Deutschland, Europa und der Euro?

Wolfgang K. E. Wittmann
8.72

Designer's guide couleur n.3

shi bukawa et takahashi ikuyoshi et yumi
24.33
12.95
12.95

Walt Disney

Captivating History
19.72