Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Interactive Theorem Proving

Name: Interactive Theorem Proving
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01661818
Price: 53.26 EUR
Availability: InStock
Author: Lennart Beringer
ISBN: 9783642323461

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

Lennart Beringer

Amy Felty

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01661818

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, julij 2012

This book constitutes the thoroughly refereed proceedings of the Third International Conference on I... Celoten opis

Koda Libristo: 01661818

129 b

53.26 €

Na zalogi pri dobavitelju v majhnih količinah Odposlali bomo v 13-18 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Remedios naturales para síntomas habituales : guía de plantas medicinales, alimentos y estilo de vida para distintas dolencias Paula Jiménez Fonseca

Mehka

24.20 €

Se débrouiller en néerlandais vite fait bien fait ! VASSEUR Knjiga

Mehka

6.47 €

ORACLES CHALDAIQUES GEMISTE PLETHON Knjiga

binding.

44.15 €

REGIA AERONAUTICA - Raid e missioni speciali Robert Robison

Mehka

14.78 €

EL SORPRENDENTE JESUS DE MARCOS CASTRO SANCHEZ

Mehka

29.97 €

Pokémon - Coloriages extraordinaires

Mehka

6.37 €

Fantastyczna Czwórka. Tom 1 Opracowanie zbiorowe

Trda

26.53 €

BILBAO Y SAN SEBASTIAN DE CERCA 3 Paul Stafford

Knjiga

14.17 €

Ronaldo - Fotbalové ikony (komiks) Katarína Jančová

Mehka

9.51 €

cluny musee national moyen age Knjiga

Knjiga

26.12 €

Einleitung In Die Konchyliologie, Oder Grundzuge Der Naturgeschichte Der Weichthiere (1853) George Johnston

Mehka

49.11 €

Dunkelgraf Ludwig Bechstein

Mehka

33.62 €

Estudio fenomenologico de las caracteristicas socio afectivas Marcela Victoria Marrero Calvo

Mehka

46.18 €

Essais d'Impressions En Couleurs SANS AUTEUR

Mehka

13.06 €

Real-Enzyklopädie für protestantische Theologie und Kirche ohne Autor

Mehka

73.72 €

Spisy III Eseje, Další pátrání, Dějiny věčnosti Jorge Luis Borges

Trda

12.65 €

Obra-Jogo Rocha Aldene

Mehka

46.18 €

Koshiki Contact Karatedo Olaf Lotze-Leoni

Mehka

8.60 €

Internationale Projektfinanzierung Carola Schulz

Mehka

32.00 €

Patentrecherche - Technologieuberwachung durch kunstliche Intelligenz Katharina Heil

Mehka

16.09 €

Filmanalyse In this world unter der Betrachtung von Grunden fur Migration in Verbindung mit der Tsunami-Katastrophe 2004 Stefan Wurm

Mehka

15.28 €

August Hermann Francke - Sein Leben Und Wirken ALS Pietistischer P dagoge Susanne Potthast

Mehka

15.28 €

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.