Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Interactive Theorem Proving

Mauricio Ayala-Rincón

César A. Mu?oz

Sprache

Englisch

Buch Broschur

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

Libristo-Code: 16771860

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Omniscient Reader's Viewpoint - Bände 1-5 im Sammelschuber Umi

Spiel

94.00 €

Paris Zola

Broschur

10.19 €

Approche des Syst?mes Multi-Agents et des Méthodes d'Emergence pour la Maintenance Kadri Ouahab

Broschur

52.19 €

Természetes spiritualitás Pál Ferenc

Broschur

11.49 €

La Normandie gourmande en 48 recettes (FR) PERETTI

Broschur

10.49 €

Mirai Nikki - New Edition 01 Josef Shanel

Broschur

14.00 €

Heliosphere 2265 - Hetzjagd, 1 Audio-CD Andreas Suchanek

Audio CD

12.09 €

Maths 1re Enseignement scientifique (2023) - Manuel élève Milan

Buch

30.79 €

Terapeutické rodičovstvo Sarah Naish

Broschur

17.89 €

Digitale Bildverarbeitung Martin Werner

Broschur

39.99 €

Histoire Naturelle de l'Air Et Des Meteores. Tome 1 RICHARD-J

Broschur

37.39 €

Domina las Tablas de Multiplicar: edición espa?ola Christine R Draper

Broschur

6.59 €

Oeuvres Completes Tome 3, 2 Sophie Cottin

Broschur

22.99 €

Book of Blessings Heb Raymond Cintas

Hardcover

61.99 €

Memoire Sur Le Principe Fondamental de la Therapeutique Deduit de l'Observation Et de l'Experience CREBESSAC-VERNET-P-A

Broschur

16.09 €

Capacidade de biossorcao de metais pesados em residuos organicos Leandro Fabricio Sena

Broschur

37.29 €

Nessahira Esin Kiroglu

Broschur

15.79 €

Iperaldosteronismo ed Ipertensione resistente Mirko Parasiliti Caprino

Broschur

51.19 €

Diagnose Algebraischen Denkens ALEXANDER MEYER

Broschur

70.29 €

The Raging Wrath Of The Easter Bunny Demo Mr. Bungle

Audio CD

19.59 €

Ist der Pfaffe Amis aus dem Schwankroman des Strickers ein Schelm, Narr oder ein Schalk? Stefanie Fritz

Broschur

17.95 €

Tout un zoo en pâte à modeler Oren

binding.

19.89 €

Journalistische Praxis - Das Monster der Fake News zähmen Sulaiman Osho

Broschur

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

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