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 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,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 142 b
58.21 €
In extern magazijn Wordt binnen 14-21 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Se débrouiller en néerlandais vite fait bien fait ! VASSEUR Boek Gebonden (paperback)
common.buy 6.02 €
cluny musee national moyen age Boek Boek
common.buy 27.44 €
ORACLES CHALDAIQUES GEMISTE PLETHON Boek binding.
common.buy 47.15 €
Ronaldo - Fotbalové ikony (komiks) Katarína Jančová / Boek Gebonden (paperback)
common.buy 9.64 €
REGIA AERONAUTICA - Raid e missioni speciali Robert Robison / Boek Gebonden (paperback)
common.buy 15.37 €
EL SORPRENDENTE JESUS DE MARCOS CASTRO SANCHEZ / Boek Gebonden (paperback)
common.buy 32.47 €
Pokémon - Coloriages extraordinaires / Boek Gebonden (paperback)
common.buy 5.92 €
Fantastyczna Czwórka. Tom 1 Opracowanie zbiorowe / Boek Gebonden (harde band)
common.buy 29.35 €
BILBAO Y SAN SEBASTIAN DE CERCA 3 Paul Stafford / Boek Boek
common.buy 15.48 €
Johann Sebastian Bach: Concertos for Violin and Flute Audio Audio cd
common.buy 16.38 €
Spisy III Eseje, Další pátrání, Dějiny věčnosti Jorge Luis Borges / Boek Gebonden (harde band)
common.buy 14.17 €
Real-Enzyklopädie für protestantische Theologie und Kirche ohne Autor / Boek Gebonden (paperback)
common.buy 77.72 €
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.08 €
Patentrecherche - Technologieuberwachung durch kunstliche Intelligenz Katharina Heil / Boek Gebonden (paperback)
common.buy 16.98 €
Internationale Projektfinanzierung Carola Schulz / Boek Gebonden (paperback)
common.buy 33.78 €
Koshiki Contact Karatedo Olaf Lotze-Leoni / Boek Gebonden (paperback)
common.buy 9.04 €
Obra-Jogo Rocha Aldene / Boek Gebonden (paperback)
common.buy 48.66 €
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 31.87 €
L'Héritière Hanne-Vibeke Holst / Boek Gebonden (paperback)
common.buy 12.56 €
Im literarischen Grenzland Europas? Sarah Steidl / Boek Gebonden (paperback)
common.buy 14.47 €
Ruhende Venus (Puzzle) Marita Zacharias / Spel/speelgoed Spel
common.buy 33.88 €
Essais d'Impressions En Couleurs SANS AUTEUR / Boek Gebonden (paperback)
common.buy 13.56 €
Estudio fenomenologico de las caracteristicas socio afectivas Marcela Victoria Marrero Calvo / Boek Gebonden (paperback)
common.buy 48.66 €
Dunkelgraf Ludwig Bechstein / Boek Gebonden (paperback)
common.buy 35.49 €

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 58.21 €
Combinatorial Mathematics III A.P. Street / Boek Gebonden (paperback)
common.buy 35.99 €
Interactive Theorem Proving and Program Development Yves Bertot / Boek Gebonden (harde band)
common.buy 120.15 €
Psychoanalysis, Sleep And Dreams Andre Tridon / Boek Gebonden (paperback)
common.buy 24.93 €
Allergies Stuart H Young MD / Boek Gebonden (paperback)
common.buy 19.20 €
Phantom of the Idol 6 Isoflavone / Boek Gebonden (paperback)
common.buy 9.64 €
Typography Essentials Revised and Updated Ina Saltz / Boek Gebonden (paperback)
common.buy 22.92 €
What Is Personification? Robin Johnson / Boek Gebonden (paperback)
common.buy 9.64 €
Human Rights and the Criminal Justice System Anthony Amatrudo / Boek Gebonden (paperback)
common.buy 80.94 €
TOP
The Neville Goddard Collection Neville Goddard / Boek Gebonden (paperback)
common.buy 26.74 €
Rambling Rhymes Clare Crooke / Boek Gebonden (paperback)
common.buy 10.25 €
Winged with Longing for Better Things Sylvia Sweeney / Boek Gebonden (paperback)
common.buy 16.38 €
Wordt verwacht
Garland Encyclopedia of World Music Ruth M. Stone / Boek Gebonden (harde band)
common.buy 791.35 €
Tarot Spreads Jeffrey Price / Boek Gebonden (paperback)
common.buy 15.68 €
Infrastructure We Ride On Joseph (City College of New York USA) Berechman / Boek Gebonden (paperback)
common.buy 105.67 €
KING of kings and LORD of lords Bible Lesson 1 K. L. Rich / Boek Gebonden (paperback)
common.buy 11.65 €
How to Find a Niche Market...And Make Money M Morgan / Boek Gebonden (paperback)
common.buy 7.63 €
Medical Marijuana: Patient Guidebook Dr Stephen Blythe / Boek Gebonden (paperback)
common.buy 6.73 €
The Long List Anthology Volume 2: More Stories From the Hugo Award Nomination List David Steffen / Boek Gebonden (paperback)
common.buy 17.99 €
The Analysis of Mind Bertrand Russell / Boek Gebonden (paperback)
common.buy 15.68 €
Criminal Procedure, Loose-Leaf Version Joel Samaha / Boek Gebonden (paperback)
common.buy 224.43 €
How to Read Chinese Drama Patricia Sieber / Boek Gebonden (paperback)
common.buy 46.55 €
The Last Romantics Tara Conklin / Boek Gebonden (paperback)
common.buy 22.61 €
Secret Geometry of the Dollar Ken McGrath / Boek Gebonden (paperback)
common.buy 22.72 €

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
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?