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

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

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: 55.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

136 b

55.39 € inkl. MwSt.

Externes Lager Wir versenden in 14-21 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

Broschur

13.99 €

Aufgewacht, lieber Osterhase: Mein Oster-Mitmachbuch Anna Karina Birkenstock

Leporello

5.59 €

Chromatic herbarium Massimo Gardone

Broschur

40.89 €

Spirou und Fantasio Gesamtausgabe Neuedition 1 André Franquin

Hardcover

34.00 €

Rossa e plebea. Pisa, mezzo secolo fa Luciano Luciani

Broschur

24.89 €

Mi ketten - Egy év az erdőben Michael Engler

Hardcover

11.39 €

These Pour La Licence: Soutenue Publiquement A La Faculte de Droit de Strasbourg GAZIN-J

Broschur

12.89 €

Albert Einstein Johannes Wickert

Broschur

10.00 €

Black Hawk Down Tonanalyse - Utopie oder Realismus Timo Leich

Broschur

17.95 €

Pferdekrankheiten Wilfried Bellinghausen

Broschur

19.90 €

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

Broschur

9.90 €

Resume Des Debats Pour Les Proprietaires Opposants A l'Impot Des Egouts Sans Auteur

Broschur

11.19 €

Terror Ferdinand von Schirach

Broschur

12.00 €

Ridiculum Vitae Orta

Broschur

11.39 €

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

Broschur

11.39 €

Commentaire Sur La Loi Du 29 Germinal an XI, Relative Aux Successions, Code Civil CHABOT-G-A

Broschur

20.89 €

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

Broschur

17.95 €

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

Broschur

43.99 €

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

Broschur

10.19 €

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

Broschur

9.39 €

Walt Disney Captivating History

Hardcover

20.09 €

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

Buch

20.69 €

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