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 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.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: 120.75 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

120.75 €

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

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

Broschur

12.53 €

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

Broschur

15.16 €

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

Broschur

57.84 €

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

Broschur

31.85 €

DF 81 ALEJ MAGNO IV INDIA A BABILONIA

Buch

10.31 €

Aufsuchende Soziale Arbeit Barbara Bräutigam

Broschur

30.43 €

EL CORAZON DEL GUERRERO DEL SOL TAN

Broschur

21.03 €

Test der verschiedenen Proteinanteile Serge Munganga Kabate

Broschur

39.23 €

Haltestelle Brussel Hermann Bausinger

Broschur

19.61 €

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

Broschur

16.17 €

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

Broschur

40.14 €

Obstbau E. Voges

Broschur

17.89 €

Nach Spanien Und Portugal H. Obersteiner

Broschur

26.79 €

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

Broschur

6.77 €

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

Hardcover

18.30 €

OTRO CUENTO NAVIDEÑO MERINO VERDUGO

Broschur

11.82 €

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

Broschur

8.99 €

Solo-Klaviermusik Vol.6 Miklos Spanyi

Audio CD

16.48 €

Nitra Vladimír Barta

Hardcover

33.87 €

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

Broschur

78.17 €

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

Broschur

14.86 €

Politische Gesprache der Toten Anonymus

Broschur

35.69 €

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

120.85 €

Interactive Video Riad Hammoud

Broschur

102.95 €

Experimental Robotics Oussama Khatib

Broschur

205.70 €

Interactive Theorem Proving Marko Van Eekelen

Broschur

58.35 €

Interactive Technologies and Sociotechnical Systems Hongbin Zha

Broschur

58.35 €

You Bantering Me? Chris Hughes

Broschur

16.48 €

Homo Sapiens to Homo 'X' Lawrence Nyaguti Ochieng

Hardcover

34.07 €

Rite of Rejection Sarah Negovetich

Broschur

12.73 €

Oblomov Ivan Aleksandrovich Goncharov

Broschur

10.81 €

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

13.24 €