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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Interactive Theorem Proving

Name: Interactive Theorem Proving
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01656145
Price: 99.19 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

243 b

99.19 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

Broschur

9.89 €

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

Broschur

11.99 €

Participación de las empresas en la comunidad (CCE) en la industria minera de Zimbabue

Broschur

60.59 €

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

Broschur

29.00 €

DF 81 ALEJ MAGNO IV INDIA A BABILONIA

Buch

9.19 €

Aufsuchende Soziale Arbeit Barbara Bräutigam

Broschur

34.00 €

EL CORAZON DEL GUERRERO DEL SOL TAN

Broschur

18.69 €

Test der verschiedenen Proteinanteile Serge Munganga Kabate

Broschur

43.90 €

Haltestelle Brussel Hermann Bausinger

Broschur

21.80 €

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

Broschur

44.99 €

Obstbau E. Voges

Broschur

19.90 €

Nach Spanien Und Portugal H. Obersteiner

Broschur

29.90 €

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

Broschur

6.09 €

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

Hardcover

17.09 €

OTRO CUENTO NAVIDEÑO MERINO VERDUGO

Broschur

10.69 €

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

Broschur

9.90 €

Solo-Klaviermusik Vol.6 Miklos Spanyi

Audio CD

21.99 €

Nitra Vladimír Barta

Hardcover

30.39 €

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

Broschur

63.29 €

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

Broschur

14.69 €

Politische Gesprache der Toten Anonymus

Broschur

39.90 €

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

Das könnte Sie auch interessieren

Interactive Theorem Proving and Program Development Yves Bertot

Hardcover

119.49 €

Interactive Video Riad Hammoud

Broschur

101.79 €

Experimental Robotics Oussama Khatib

Broschur

203.39 €

Interactive Theorem Proving Marko Van Eekelen

Broschur

49.89 €

Interactive Technologies and Sociotechnical Systems Hongbin Zha

Broschur

49.89 €

You Bantering Me? Chris Hughes

Broschur

16.09 €

Homo Sapiens to Homo 'X' Lawrence Nyaguti Ochieng

Hardcover

30.39 €

Rite of Rejection Sarah Negovetich

Broschur

10.19 €

Oblomov Ivan Aleksandrovich Goncharov

Broschur

10.69 €

Science vs. Bible vs. Quran (3) the Moon: The Quran preceded the modern sciences while the editors of the Bible contradict the sciences and corrupt th Dr Ibrahim Khalil Aly

Broschur

10.49 €