Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
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 €
phone Kontakt phoneWie einkaufen

Interactive Theorem Proving

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

Sprache EnglischEnglisch
Buch Broschur
Buch Interactive Theorem Proving Marko Van Eekelen
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
? points 148 b
60.39 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Pferdekrankheiten Wilfried Bellinghausen / Buch Broschur
common.buy 19.90 €
Da soli per forza. Il ritiro sociale in adolescenza Michele Procacci / Buch Broschur
common.buy 16.49 €
Spirou und Fantasio Gesamtausgabe Neuedition 1 André Franquin / Buch Hardcover
common.buy 34.00 €
Black Hawk Down Tonanalyse - Utopie oder Realismus Timo Leich / Buch Broschur
common.buy 17.95 €
Deutschland, Europa und der Euro? Wolfgang K. E. Wittmann / Buch Broschur
common.buy 9.90 €
Chromatic herbarium Massimo Gardone / Buch Broschur
common.buy 70.39 €
Albert Einstein Johannes Wickert / Buch Broschur
common.buy 10.00 €
Designer's guide couleur n.3 shi bukawa et takahashi ikuyoshi et yumi Buch Buch
common.buy 25.79 €
Walt Disney Captivating History / Buch Hardcover
common.buy 22.79 €
Czciciele Ognia, Czasu I Szatana: Zaratusztrianizm, Zurwanizm, Anahityzm, Mitraizm, Manicheizm, Mazdakizm, Mazdaznanizm, Jazydyzm Andrzej Juliusz Sarwa / Buch Broschur
common.buy 9.39 €
BROCKHAUSEN Värityskirja Vol. 5 - Värityskirja: Merirosvo Dortje Golldack / Buch Broschur
common.buy 12.59 €
Espectroscopia Fotoelectrónica de rayos X (XPS) - Un fundamento Pedro José Rodríguez Sulbarán / Buch Broschur
common.buy 46.59 €
"Wir und Ihr". Fremdenfeindliches Gedankengut in der postmodernen Gesellschaft und Copingstrategien der Sozialen Arbeit Belinda Peter / Buch Broschur
common.buy 17.95 €
Matemáticas transversales, 5 y 6 Educación Primaria Rosario María González Vigil / Buch Broschur
common.buy 13.79 €
Ridiculum Vitae Orta / Buch Broschur
common.buy 13.79 €
Top
Terror Ferdinand von Schirach / Buch Broschur
common.buy 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
Ewa Kasp
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

Das könnte Sie auch interessieren

Interactive Technologies and Sociotechnical Systems Hongbin Zha / Buch Broschur
common.buy 60.39 €
Interactive Theorem Proving Matt Kaufmann / Buch Broschur
common.buy 119.39 €
Interactive Video Riad Hammoud / Buch Broschur
common.buy 107.29 €
Interactive Theorem Proving and Program Development Yves Bertot / Buch Hardcover
common.buy 126.09 €
Toward the End of the Century: Essays Into Poetry Wayne Dodd / Buch Broschur
common.buy 22.49 €
Life in the Ring: Lessons & Inspiration from the Sport of Boxing John E. Oden / Buch Broschur
common.buy 14.49 €
Top
Kingdom, Vol. 2 Yasuhisa Hara / Buch Broschur
common.buy 13.59 €
Race and Redemption Jane Samson / Buch Broschur
common.buy 52.69 €
Moments With The King: A Treasury Of Devotional Essays To Build And Strengthen Your Faith Kirby D Jones / Buch Broschur
common.buy 13.49 €
Understanding the I Ching: Restoring a Brilliant, Ancient Culture Alfred Huang / Buch Broschur
common.buy 15.39 €
The Duties of Parents John Charles Ryle / Buch Broschur
common.buy 6.99 €
Flows, Energetics, and Waves: Mathematical Applications: Physical Sciences and Timothy S Margulies / Buch Broschur
common.buy 47.19 €
China's Information Control Practices and the Implications for the United States Economic and Security Review Commission / Buch Broschur
common.buy 18.19 €
Finding Father Mary Ann Loewen / Buch Broschur
common.buy 26.19 €
Foundations of Paleoecology S. Kathleen Lyons / Buch Hardcover
common.buy 185.39 €
Günstig
The Art of Lying: A Moral Guide on How to Properly Lie, Cheat, Deceive, and Manipulate Sally Fairfax / Buch Broschur
common.buy 4.49 €
Linguistics and Cross Linguistics issues in translating English Media Kais Kadhim / Buch Broschur
common.buy 52.19 €
Firefighters / Buch Broschur
common.buy 9.39 €
Mastering Reinforcement Learning with Python Enes Bilgin / Buch Broschur
common.buy 51.39 €
Architecting High-Performance Embedded Systems Jim Ledin / Buch Broschur
common.buy 55.39 €
Mortimer: Rat Race to Space Joan Marie Galat / Buch Broschur
common.buy 10.89 €
Cartoons That Saved the World Tom Ellen / Buch Broschur
common.buy 9.19 €
Top
How Big Things Get Done Dan Gardner / Buch Hardcover
common.buy 24.09 €
Richard II Tom Wheelwright / Hörbuch MP3
common.buy 15.69 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto