Książka Interactive Theorem Proving Marko Van Eekelen

Interactive Theorem Proving

Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, 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.50
This book constitutes the refereed proceedings of the Second International Conference on Interactive...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2011
strony
383
EAN
9783642228629
ISBN
3642228623
Enbook ID
01658528
Waga
605
Wymiary
155 x 235 x 23

Pełny opis

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.

Możesz być zainteresowany

475.76

Interactive Video

Riad Hammoud
423.57

Kingdom, Vol. 2

Yasuhisa Hara
46.44
91.91

Honey Bucket Charlie

Lewis H. Carlson
144.10
207.88

The Duties of Parents

John Charles Ryle
27.74
740.32
37.38
43.03
94.15

Richard II

Tom Wheelwright
62.02

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

Albert Einstein

Johannes Wickert
37.58

Pferdekrankheiten

Wilfried Bellinghausen
73.80

Chromatic herbarium

Massimo Gardone
277.41

Terror

Ferdinand von Schirach
45.07

Deutschland, Europa und der Euro?

Wolfgang K. E. Wittmann
37.19

Designer's guide couleur n.3

shi bukawa et takahashi ikuyoshi et yumi
103.01
55.10

Walt Disney

Captivating History
89.09
55.10
183.05