Kniha Interactive Theorem Proving Matt Kaufmann

Interactive Theorem Proving

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

Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 9-15 dnů
2 595
This book constitutes the refereed proceedings of the First International Conference on Interactive...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2010
Stránek
495
EAN
9783642140518
ISBN
3642140513
Enbook ID
01656145
Hmotnost
759
Rozměry
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 zajímat

Interactive Video

Riad Hammoud
2 286
4 566
1 311

You Bantering Me?

Chris Hughes
424

Homo Sapiens to Homo 'X'

Lawrence Nyaguti Ochieng
760

Rite of Rejection

Sarah Negovetich
271

Oblomov

Ivan Aleksandrovich Goncharov
230
706

Annihilation

Jeff VanderMeer
335
1 147
780

Kaylynn's Reading Log

Martha Day Zschock
185
476

Camping

Keith Baker
134

Sleeping on a Wire

David Grossman
444

The Last Midwife

Sandra Dallas
461

Evolving Human Nutrition

Stanley Ulijaszek
3 763

Chakradance

Natalie Southgate
390

Hidden in Blackness

Adaurennaya C Onyewuenyi
3 148

PRINCE WITHOUT SORROW

WIJESEKARA MAITHREE
292

Zákaznicí kteří koupili tuto knihu koupili také

Obstbau

E. Voges
397
866

Nitra

Vladimír Barta
727
592

Haltestelle Brussel

Hermann Bausinger
433
365