Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €
phone Kontakt phoneWie einkaufen

Interactive Theorem Proving

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

Sprache EnglischEnglisch
Buch Broschur
Buch Interactive Theorem Proving Lennart Beringer
Libristo-Code: 01661818
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juli 2012
This book constitutes the thoroughly refereed proceedings of the Third International Conference on I... Vollständige Beschreibung
? points 141 b
58.53 €
Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen
Griechenland Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

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

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Interactive Theorem Proving
Autor Lennart Beringer, Amy Felty
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2012
Anzahl der Seiten 419
EAN 9783642323461
ISBN 3642323464
Libristo-Code 01661818
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 650
Abmessungen 155 x 235 x 25

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Computernetzwerke und maschinelle Kommunikation > Netzwerksicherheit
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
EDV und Informationstechnologie > Computersicherheit
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Interactive Technologies and Sociotechnical Systems Hongbin Zha / Buch Broschur
common.buy 58.53 €
Combinatorial Mathematics III A.P. Street / Buch Broschur
common.buy 36.25 €
Interactive Theorem Proving and Program Development Yves Bertot / Buch Hardcover
common.buy 121.02 €
Psychoanalysis, Sleep And Dreams Andre Tridon / Buch Broschur
common.buy 26.22 €
Secret Geometry of the Dollar Ken McGrath / Buch Broschur
common.buy 23.89 €
Allergies Stuart H Young MD / Buch Broschur
common.buy 20.35 €
Animals Word Scramble: Book 1 Michael Stachiw / Buch Broschur
common.buy 9.92 €
Rambling Rhymes Clare Crooke / Buch Broschur
common.buy 10.83 €
What Is Personification? Robin Johnson / Buch Broschur
common.buy 9.71 €
Human Rights and the Criminal Justice System Anthony Amatrudo / Buch Broschur
common.buy 80.81 €
Top
The Neville Goddard Collection Neville Goddard / Buch Broschur
common.buy 28.25 €
Cognitive Psychology Eysenck / Buch Broschur
common.buy 67.85 €
Tarot Spreads Jeffrey Price / Buch Broschur
common.buy 16.70 €
KING of kings and LORD of lords Bible Lesson 1 K. L. Rich / Buch Broschur
common.buy 12.35 €
How to Find a Niche Market...And Make Money M Morgan / Buch Broschur
common.buy 8.09 €
Medical Marijuana: Patient Guidebook Dr Stephen Blythe / Buch Broschur
common.buy 7.08 €
The Long List Anthology Volume 2: More Stories From the Hugo Award Nomination List David Steffen / Buch Broschur
common.buy 19.03 €
The Analysis of Mind Bertrand Russell / Buch Broschur
common.buy 16.60 €
Criminal Procedure, Loose-Leaf Version Joel Samaha / Buch Broschur
common.buy 216.53 €
Winged with Longing for Better Things Sylvia Sweeney / Buch Broschur
common.buy 17.51 €
Typography Essentials Revised and Updated Ina Saltz / Buch Broschur
common.buy 23.08 €
How to Read Chinese Drama Patricia Sieber / Buch Broschur
common.buy 48.81 €
Infrastructure We Ride On Joseph (City College of New York USA) Berechman / Buch Broschur
common.buy 106.44 €
Head Strong Michael D. Matthews / Buch Hardcover
common.buy 50.63 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?