Kniha Interactive Theorem Proving Matt Kaufmann

Interactive Theorem Proving

First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

Jazyk: Angličtina
Väzba: Brožovaná
Dostupnosť: Skladom u dodávateľa
Odosielame za 9-15 dní
107.26
This book constitutes the refereed proceedings of the First International Conference on Interactive...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2010
Stránok
495
EAN
9783642140518
ISBN
3642140513
Enbook ID
01656145
Hmotnosť
759
Rozmery
155 x 238 x 33

Kompletný popis

This book constitutes the refereed proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. The 33 revised full papers presented were carefully reviewed and selected from 74 submissions. The papers are organized in topics such as counterexample generation, hybrid system verification, 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ť

Interactive Video

Riad Hammoud
99.90
199.61
54.17

You Bantering Me?

Chris Hughes
17.56

Homo Sapiens to Homo 'X'

Lawrence Nyaguti Ochieng
33.06

Rite of Rejection

Sarah Negovetich
11.18

Oblomov

Ivan Aleksandrovich Goncharov
9.51
29.14

Annihilation

Jeff VanderMeer
13.83
50.14
32.18

Kaylynn's Reading Log

Martha Day Zschock
7.65
19.72

Camping

Keith Baker
5.49

Sleeping on a Wire

David Grossman
18.34

The Last Midwife

Sandra Dallas
19.03

Evolving Human Nutrition

Stanley Ulijaszek
155.55

Chakradance

Natalie Southgate
16.09

Hidden in Blackness

Adaurennaya C Onyewuenyi
130.13

PRINCE WITHOUT SORROW

WIJESEKARA MAITHREE
12.95

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

Obstbau

E. Voges
17.36
38.07

Nitra

Vladimír Barta
30.05
26.00
8.72

Haltestelle Brussel

Hermann Bausinger
19.03
15.99