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
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Interactive Theorem Proving

Sprache EnglischEnglisch
Buch Broschur
Buch Interactive Theorem Proving Mauricio Ayala-Rincón
Libristo-Code: 16771860
Verlag Springer International Publishing AG, August 2017
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Th... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Omniscient Reader's Viewpoint - Bände 1-5 im Sammelschuber Umi / Spiel/Spielzeug Spiel
common.buy 94.00 €
Günstig
Paris Zola / Buch Broschur
common.buy 12.59 €
Approche des Syst?mes Multi-Agents et des Méthodes d'Emergence pour la Maintenance Kadri Ouahab / Buch Broschur
common.buy 52.19 €
Természetes spiritualitás Pál Ferenc / Buch Broschur
common.buy 11.49 €
La Normandie gourmande en 48 recettes (FR) PERETTI / Buch Broschur
common.buy 10.29 €
Top
Mirai Nikki - New Edition 01 Josef Shanel / Buch Broschur
common.buy 14.69 €
Heliosphere 2265 - Hetzjagd, 1 Audio-CD Andreas Suchanek / Audio Audio CD
common.buy 12.09 €
Maths 1re Enseignement scientifique (2023) - Manuel élève Milan / Buch Buch
common.buy 30.69 €
Terapeutické rodičovstvo Sarah Naish / Buch Broschur
common.buy 18.29 €
Digitale Bildverarbeitung Martin Werner / Buch Broschur
common.buy 39.99 €
Histoire Naturelle de l'Air Et Des Meteores. Tome 1 RICHARD-J / Buch Broschur
common.buy 37.39 €
Domina las Tablas de Multiplicar: edición espa?ola Christine R Draper / Buch Broschur
common.buy 6.59 €
Oeuvres Completes Tome 3, 2 Sophie Cottin / Buch Broschur
common.buy 22.59 €
Book of Blessings Heb Raymond Cintas / Buch Hardcover
common.buy 62.59 €
Memoire Sur Le Principe Fondamental de la Therapeutique Deduit de l'Observation Et de l'Experience CREBESSAC-VERNET-P-A / Buch Broschur
common.buy 16.09 €
Capacidade de biossorcao de metais pesados em residuos organicos Leandro Fabricio Sena / Buch Broschur
common.buy 37.29 €
Nessahira Esin Kiroglu / Buch Broschur
common.buy 15.79 €
Iperaldosteronismo ed Ipertensione resistente Mirko Parasiliti Caprino / Buch Broschur
common.buy 51.19 €
Diagnose Algebraischen Denkens ALEXANDER MEYER / Buch Broschur
common.buy 70.29 €
The Raging Wrath Of The Easter Bunny Demo Mr. Bungle / Audio Audio CD
common.buy 19.59 €
Ist der Pfaffe Amis aus dem Schwankroman des Strickers ein Schelm, Narr oder ein Schalk? Stefanie Fritz / Buch Broschur
common.buy 17.95 €
Tout un zoo en pâte à modeler Oren / Buch binding.
common.buy 19.79 €
Journalistische Praxis - Das Monster der Fake News zähmen Sulaiman Osho / Buch Broschur
common.buy 39.90 €

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.

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 Mauricio Ayala-Rincón, César A. Mu?oz
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2017
Anzahl der Seiten 532
EAN 9783319661063
ISBN 331966106X
Libristo-Code 16771860
Verlag Springer International Publishing AG
Gewicht 8248
Abmessungen 155 x 235 x 29

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Systemanalyse und -design
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
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

In the Ocean Stephanie Fizer Coleman / Spiel/Spielzeug Spiel
common.buy 16.89 €
Caleb and The Trash Fairy: Caleb and the box car race Jenene Snyder / Buch Broschur
common.buy 11.59 €
Transition From Development to Production: Solving the Risk Equation U S Department of Defense / Buch Broschur
common.buy 20.09 €
American Notes Rudyard Kipling / Buch Broschur
common.buy 6.99 €
Sudoku Puzzle Book 200 MEDIUM Giant Size Puzzles: One Gigantic Large Print Puzzle Per Letter Size Page Sudoku Puzzle Books / Buch Broschur
common.buy 12.59 €
12 Strong - Die wahre Geschichte der US-Horse Soldiers Nicolai Fuglsig / Video Blu-ray
common.buy 13.19 €
Foxfire Book of Appalachian Cookery Sean Brock / Buch Broschur
common.buy 22.79 €
Unitarianism, the Doctrine of the Gospel: A View of the Scriptural Grounds of Unitarianism Lant Carpenter / Buch Broschur
common.buy 39.69 €
Reminiscences Of Old Quebec (1890) Daniel MacPherson / Buch Broschur
common.buy 23.89 €
Alone Against the Frost: Solitaire Adventure in Canada's Wilds Gavin Inglis / Buch Broschur
common.buy 16.49 €
Heidegger on Art and Art Works J.J. Kockelmans / Buch Broschur
common.buy 160.89 €
Seven Years of Darkness YOU-JEONG JEONG / Buch Broschur
common.buy 11.09 €
Top
Witchcraft. The Library of Esoterica Jessica Hundley / Buch Hardcover
common.buy 32.79 €
7-Figure Coach Tara Mullarkey / Buch Broschur
common.buy 11.89 €
Shadow Rising Robert Jordan / Hörbuch MP3
common.buy 53.29 €
Economics for Business John Sloman / Buch Broschur
common.buy 103.49 €
Batman/Superman: World's Finest Vol. 3: Elementary Dan Mora / Buch Hardcover
common.buy 19.09 €
Engaging with Human Rights Evelyne Schmid / Buch Hardcover
common.buy 33.39 €
Third Act Encore Robert R. Blume / Buch Hardcover
common.buy 50.49 €
UNTITLED RED TOWER RELEASE MAEHRER HANNAH NICOLE / Buch Broschur
common.buy 16.09 €
The Substantive Law of the EU, 8e Barnard / Buch Broschur
common.buy 83.09 €
Top
Bad Bishop L.J. Shen / Buch Broschur
common.buy 9.59 €
Top
Dear Debbie Freida McFadden / Buch Broschur
common.buy 8.99 €
Quiver Stephanie Spinner / Buch Broschur
common.buy 7.59 €

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?