Könyv Interactive Theorem Proving Lennart Beringer

Interactive Theorem Proving

Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten alacsony példányszámban
Küldés 13-18 napon belül
20 693 Ft
This book constitutes the thoroughly refereed proceedings of the Third International Conference on I...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2012
oldal
419
EAN
9783642323461
ISBN
3642323464
Enbook ID
01661818
Súly
650
Méretek
155 x 235 x 25

Teljes leírás

This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised full papers presented together with 4 rough diamond papers, 3 invited talks, and one invited tutorial were carefully reviewed and selected from 40 submissions. Among the topics covered are formalization of mathematics; program abstraction and logics; data structures and synthesis; security; (non-)termination and automata; program verification; theorem prover development; reasoning about program execution; and prover infrastructure and modeling styles.

Érdekelheti

13 549 Ft
8 437 Ft

Allergies

Stuart H Young MD
7 203 Ft
3 514 Ft

Rambling Rhymes

Clare Crooke
3 842 Ft
3 631 Ft
9 990 Ft
25 334 Ft

Tarot Spreads

Jeffrey Price
5 978 Ft
2 504 Ft

The Analysis of Mind

Bertrand Russell
5 861 Ft
17 193 Ft

Infrastructure We Ride On

Joseph (City College of New York USA) Berechman
39 690 Ft

Head Strong

Michael D. Matthews
16 695 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

ORACLES CHALDAIQUES

GEMISTE PLETHON
16 650 Ft
11 287 Ft

Fantastyczna Czwórka. Tom 1

Opracowanie zbiorowe
10 089 Ft
3 684 Ft

Dunkelgraf

Ludwig Bechstein
13 432 Ft

Obra-Jogo

Rocha Aldene
18 445 Ft
3 429 Ft
12 795 Ft