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

Name: Interactive Theorem Proving
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01656145
Price: 119.39 EUR
Availability: InStock
Author: Matt Kaufmann
ISBN: 9783642140518

First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

Matt Kaufmann

Lawrence C. Paulson

Sprache

Englisch

Buch Broschur

Libristo-Code: 01656145

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juni 2010

This book constitutes the refereed proceedings of the First International Conference on Interactive... Vollständige Beschreibung

Libristo-Code: 01656145

292 b

119.39 € inkl. MwSt.

Externes Lager Wir versenden in 9-15 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Jak vznikla a hospodařila TJ Letové sporty Tleskač v Praze

Broschur

7.19 €

Obstbau E. Voges

Broschur

19.90 €

Rolle des Filmkameramanns bei der Produktion von Spielfilmen - Exemplarisch dargestellt anhand der Arbeit des Kameramanns Frank Griebe Torben Asmussen

Broschur

44.99 €

Europaisches Wettbewerbsrecht am Beispiel der Fernsehrechtsproblematik der UEFA Champions League und der FIFA WM 2006 Tobias Schoener

Broschur

17.95 €

Test der verschiedenen Proteinanteile Serge Munganga Kabate

Broschur

43.90 €

Aristoteles: Metaphysik IX, 1-3. Vom Wesen und Wirklichkeit der Kraft (Sommersemester 1931). Buch.IX Martin Heidegger

Broschur

33.09 €

Nitra Vladimír Barta

Hardcover

35.49 €

DF 81 ALEJ MAGNO IV INDIA A BABILONIA

Buch

10.69 €

Nach Spanien Und Portugal H. Obersteiner

Broschur

29.90 €

Криптвоюматика 2.0. Стань сыном маминой подруги Алексей Марков

Hardcover

19.19 €

Profi-Nonogramm 3er-Band. Nr.16. Nr.16 Conceptis Puzzles

Broschur

9.90 €

Haltestelle Brussel Hermann Bausinger

Broschur

21.80 €

Contribution a la lutte contre la cybercriminalite des jeunes Dinde Fernand Agbo

Broschur

65.19 €

Politische Gesprache der Toten Anonymus

Broschur

39.90 €

Dibujar : trucos, técnicas y recursos para la inspiración visual Helen Birch

Broschur

14.69 €

Solo-Klaviermusik Vol.6 Miklos Spanyi

Audio CD

21.99 €

Une Page de l'Histoire de Napoleon 1er Le Moine-O

Broschur

16.09 €

Quelques Mots Sur La Maxime: 'le Roi Regne Et Ne Gouverne Pas' Sans Auteur

Broschur

13.19 €

This book constitutes the refereed proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. The 33 revised full papers presented were carefully reviewed and selected from 74 submissions. The papers are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.

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 Matt Kaufmann, Lawrence C. Paulson

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2010

Anzahl der Seiten 495

EAN 9783642140518

ISBN 3642140513

Libristo-Code 01656145

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 759

Abmessungen 155 x 238 x 33

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

Medizin > Klinische und Innere Medizin > Krankheiten und Störungen > Immunologie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

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 > Rechnerarchitektur und Logik-Entwurf

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