Könyv Interactive Theorem Proving Sandrine Blazy

Interactive Theorem Proving

4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 274 Ft
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Th...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2013
oldal
498
EAN
9783642396335
ISBN
364239633X
Enbook ID
01664057
Súly
777
Méretek
155 x 235 x 29

Teljes leírás

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013.§The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.

Érdekelheti

19 274 Ft
116 788 Ft
7 184 Ft
19 345 Ft

Tide Running

Oonya Kempadoo
8 048 Ft
4 015 Ft

Teaching Is a Privilege

Elizabeth Cervini Manvell
53 014 Ft

Birds of Myanmar

Kyaw Nyunt Lwin
18 508 Ft

Beauchamp Hall

Danielle Steel
10 814 Ft

Beyond 2.0

Steve Collins
12 506 Ft

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

Zpět o sto let na výlet

Renata Šindelářová
1 150 Ft

TEMARIO DE TROMBON

VICENTE MONZO
112 585 Ft
4 543 Ft

Clef

Junich Tanizaki
4 145 Ft
6 786 Ft

Der Kreis Husum

K. Sönnichsen
9 068 Ft

Kostenfalle Messe?

Anja Steinrücken
19 430 Ft

Theaterhandwerk

Alan Ayckbourn
7 421 Ft
5 067 Ft

Laubgewind

Jakob Chr. Heer
10 062 Ft
6 074 Ft