Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Interactive Theorem Proving

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Interactive Theorem Proving Lennart Beringer
Libristo-code: 01661818
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juli 2012
This book constitutes the thoroughly refereed proceedings of the Third International Conference on I... Volledige beschrijving
? points 148 b
61.03 €
In extern magazijn in kleine hoeveelheid Wordt binnen 13-18 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Remedios naturales para síntomas habituales : guía de plantas medicinales, alimentos y estilo de vida para distintas dolencias Paula Jiménez Fonseca / Boek Gebonden (paperback)
common.buy 28.39 €
Se débrouiller en néerlandais vite fait bien fait ! VASSEUR Boek Gebonden (paperback)
common.buy 7.06 €
ORACLES CHALDAIQUES GEMISTE PLETHON Boek binding.
common.buy 48.29 €
REGIA AERONAUTICA - Raid e missioni speciali Robert Robison / Boek Gebonden (paperback)
common.buy 15.45 €
EL SORPRENDENTE JESUS DE MARCOS CASTRO SANCHEZ / Boek Gebonden (paperback)
common.buy 32.73 €
Pokémon - Coloriages extraordinaires / Boek Gebonden (paperback)
common.buy 6.96 €
Fantastyczna Czwórka. Tom 1 Opracowanie zbiorowe / Boek Gebonden (harde band)
common.buy 29.30 €
BILBAO Y SAN SEBASTIAN DE CERCA 3 Paul Stafford / Boek Boek
common.buy 15.65 €
Ronaldo - Fotbalové ikony (komiks) Katarína Jančová / Boek Gebonden (paperback)
common.buy 10.70 €
cluny musee national moyen age Boek Boek
common.buy 28.49 €
Einleitung In Die Konchyliologie, Oder Grundzuge Der Naturgeschichte Der Weichthiere (1853) George Johnston / Boek Gebonden (paperback)
common.buy 51.43 €
Dunkelgraf Ludwig Bechstein / Boek Gebonden (paperback)
common.buy 35.66 €
Estudio fenomenologico de las caracteristicas socio afectivas Marcela Victoria Marrero Calvo / Boek Gebonden (paperback)
common.buy 48.90 €
Essais d'Impressions En Couleurs SANS AUTEUR / Boek Gebonden (paperback)
common.buy 13.63 €
Real-Enzyklopädie für protestantische Theologie und Kirche ohne Autor / Boek Gebonden (paperback)
common.buy 78.10 €
Spisy III Eseje, Další pátrání, Dějiny věčnosti Jorge Luis Borges / Boek Gebonden (harde band)
common.buy 14.24 €
Obra-Jogo Rocha Aldene / Boek Gebonden (paperback)
common.buy 48.90 €
Koshiki Contact Karatedo Olaf Lotze-Leoni / Boek Gebonden (paperback)
common.buy 9.08 €
Internationale Projektfinanzierung Carola Schulz / Boek Gebonden (paperback)
common.buy 33.94 €
Patentrecherche - Technologieuberwachung durch kunstliche Intelligenz Katharina Heil / Boek Gebonden (paperback)
common.buy 17.07 €
Filmanalyse In this world unter der Betrachtung von Grunden fur Migration in Verbindung mit der Tsunami-Katastrophe 2004 Stefan Wurm / Boek Gebonden (paperback)
common.buy 16.16 €
August Hermann Francke - Sein Leben Und Wirken ALS Pietistischer P dagoge Susanne Potthast / Boek Gebonden (paperback)
common.buy 16.16 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Interactive Theorem Proving
Auteur Lennart Beringer, Amy Felty
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2012
Aantal pagina's 419
EAN 9783642323461
ISBN 3642323464
Libristo-code 01661818
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 650
Afmetingen 155 x 235 x 25

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Informatica en informatietechnologie > Informatica > Mens-computerinteractie > Design van gebruikersinterface en gebruikersvriendelijkheid (UX)
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Computernetwerken en communicatiesystemen > Netwerkveiligheid
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Informatica en informatietechnologie > Computerbeveiliging
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Interactive Technologies and Sociotechnical Systems Hongbin Zha / Boek Gebonden (paperback)
common.buy 61.03 €
Combinatorial Mathematics III A.P. Street / Boek Gebonden (paperback)
common.buy 36.17 €
Interactive Theorem Proving and Program Development Yves Bertot / Boek Gebonden (harde band)
common.buy 120.75 €
Psychoanalysis, Sleep And Dreams Andre Tridon / Boek Gebonden (paperback)
common.buy 25.05 €
Secret Geometry of the Dollar Ken McGrath / Boek Gebonden (paperback)
common.buy 22.83 €
Allergies Stuart H Young MD / Boek Gebonden (paperback)
common.buy 19.29 €
Animals Word Scramble: Book 1 Michael Stachiw / Boek Gebonden (paperback)
common.buy 9.39 €
Rambling Rhymes Clare Crooke / Boek Gebonden (paperback)
common.buy 10.30 €
What Is Personification? Robin Johnson / Boek Gebonden (paperback)
common.buy 9.69 €
Human Rights and the Criminal Justice System Anthony Amatrudo / Boek Gebonden (paperback)
common.buy 77.19 €
TOP
The Neville Goddard Collection Neville Goddard / Boek Gebonden (paperback)
common.buy 26.87 €
Cognitive Psychology Eysenck / Boek Gebonden (paperback)
common.buy 67.70 €
Tarot Spreads Jeffrey Price / Boek Gebonden (paperback)
common.buy 15.75 €
KING of kings and LORD of lords Bible Lesson 1 K. L. Rich / Boek Gebonden (paperback)
common.buy 11.71 €
How to Find a Niche Market...And Make Money M Morgan / Boek Gebonden (paperback)
common.buy 7.67 €
Medical Marijuana: Patient Guidebook Dr Stephen Blythe / Boek Gebonden (paperback)
common.buy 6.76 €
The Long List Anthology Volume 2: More Stories From the Hugo Award Nomination List David Steffen / Boek Gebonden (paperback)
common.buy 18.08 €
The Analysis of Mind Bertrand Russell / Boek Gebonden (paperback)
common.buy 15.75 €
Criminal Procedure, Loose-Leaf Version Joel Samaha / Boek Gebonden (paperback)
common.buy 205.03 €
Winged with Longing for Better Things Sylvia Sweeney / Boek Gebonden (paperback)
common.buy 16.46 €
Typography Essentials Revised and Updated Ina Saltz / Boek Gebonden (paperback)
common.buy 21.62 €
How to Read Chinese Drama Patricia Sieber / Boek Gebonden (paperback)
common.buy 46.78 €
Infrastructure We Ride On Joseph (City College of New York USA) Berechman / Boek Gebonden (paperback)
common.buy 106.20 €
Head Strong Michael D. Matthews / Boek Gebonden (harde band)
common.buy 48.39 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken