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 € DPD-Kurier 3.99 € DPD-Stelle 2.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: 01658528
Price: 60.39 EUR
Availability: InStock
Author: Marko Van Eekelen
ISBN: 9783642228629

Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

Sprache

Englisch

Buch Broschur

Libristo-Code: 01658528

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2011

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

Libristo-Code: 01658528

148 b

60.39 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Pferdekrankheiten Wilfried Bellinghausen

Broschur

19.90 €

Da soli per forza. Il ritiro sociale in adolescenza Michele Procacci

Broschur

16.49 €

Spirou und Fantasio Gesamtausgabe Neuedition 1 André Franquin

Hardcover

34.19 €

Black Hawk Down Tonanalyse - Utopie oder Realismus Timo Leich

Broschur

17.95 €

Deutschland, Europa und der Euro? Wolfgang K. E. Wittmann

Broschur

9.90 €

Chromatic herbarium Massimo Gardone

Broschur

47.89 €

Albert Einstein Johannes Wickert

Broschur

10.00 €

Designer's guide couleur n.3 shi bukawa et takahashi ikuyoshi et yumi Buch

Buch

25.69 €

Walt Disney Captivating History

Hardcover

22.79 €

Czciciele Ognia, Czasu I Szatana: Zaratusztrianizm, Zurwanizm, Anahityzm, Mitraizm, Manicheizm, Mazdakizm, Mazdaznanizm, Jazydyzm Andrzej Juliusz Sarwa

Broschur

9.39 €

BROCKHAUSEN Värityskirja Vol. 5 - Värityskirja: Merirosvo Dortje Golldack

Broschur

12.59 €

Espectroscopia Fotoelectrónica de rayos X (XPS) - Un fundamento Pedro José Rodríguez Sulbarán

Broschur

46.59 €

"Wir und Ihr". Fremdenfeindliches Gedankengut in der postmodernen Gesellschaft und Copingstrategien der Sozialen Arbeit Belinda Peter

Broschur

17.95 €

Matemáticas transversales, 5 y 6 Educación Primaria Rosario María González Vigil

Broschur

11.99 €

Ridiculum Vitae Orta

Broschur

11.99 €

Terror Ferdinand von Schirach

Broschur

12.00 €

This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. §The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, 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 Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2011

Anzahl der Seiten 383

EAN 9783642228629

ISBN 3642228623

Libristo-Code 01658528

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

Gewicht 605

Abmessungen 155 x 235 x 23

Kategorie

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

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