Interactive Theorem Proving

Name: Interactive Theorem Proving
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642140518
Price: 44095 HUF
Availability: InStock

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

Szerző: Matt Kaufmann, Lawrence C. Paulson

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Elérhetőség: Beszállítói készleten alacsony példányszámban

Küldés 14-21 napon belül

44 095 Ft

This book constitutes the refereed proceedings of the First International Conference on Interactive...

Információk a könyvről

Szerző

Matt Kaufmann, Lawrence C. Paulson

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2010

oldal

495

EAN

9783642140518

ISBN

3642140513

Enbook ID

01656145

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

759

Méretek

155 x 238 x 33

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Interactive Theorem Proving

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

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták