Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Interactive Theorem Proving

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Interactive Theorem Proving Marko Van Eekelen
Libristo-code: 01658528
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, augustus 2011
This book constitutes the refereed proceedings of the Second International Conference on Interactive... Volledige beschrijving
? points 142 b
58.21 €
In extern magazijn Wordt binnen 14-21 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Da soli per forza. Il ritiro sociale in adolescenza Michele Procacci / Boek Gebonden (paperback)
common.buy 15.48 €
Aufgewacht, lieber Osterhase: Mein Oster-Mitmachbuch Anna Karina Birkenstock / Boek Leporello (harmonicaboek)
common.buy 5.82 €
Chromatic herbarium Massimo Gardone / Boek Gebonden (paperback)
common.buy 45.64 €
Spirou und Fantasio Gesamtausgabe Neuedition 1 André Franquin / Boek Gebonden (harde band)
common.buy 28.45 €
Rossa e plebea. Pisa, mezzo secolo fa Luciano Luciani / Boek Gebonden (paperback)
common.buy 25.03 €
TOP
Mi ketten - Egy év az erdőben Michael Engler / Boek Gebonden (harde band)
common.buy 12.16 €
These Pour La Licence: Soutenue Publiquement A La Faculte de Droit de Strasbourg GAZIN-J / Boek Gebonden (paperback)
common.buy 13.56 €
Albert Einstein Johannes Wickert / Boek Gebonden (paperback)
common.buy 9.04 €
Black Hawk Down Tonanalyse - Utopie oder Realismus Timo Leich / Boek Gebonden (paperback)
common.buy 16.08 €
Pferdekrankheiten Wilfried Bellinghausen / Boek Gebonden (paperback)
common.buy 17.79 €
Deutschland, Europa und der Euro? Wolfgang K. E. Wittmann / Boek Gebonden (paperback)
common.buy 8.94 €
Resume Des Debats Pour Les Proprietaires Opposants A l'Impot Des Egouts Sans Auteur / Boek Gebonden (paperback)
common.buy 11.86 €
Terror Ferdinand von Schirach / Boek Gebonden (paperback)
common.buy 10.85 €
Ridiculum Vitae Orta / Boek Gebonden (paperback)
common.buy 13.16 €
Matemáticas transversales, 5 y 6 Educación Primaria Rosario María González Vigil / Boek Gebonden (paperback)
common.buy 13.16 €
Commentaire Sur La Loi Du 29 Germinal an XI, Relative Aux Successions, Code Civil CHABOT-G-A / Boek Gebonden (paperback)
common.buy 22.01 €
"Wir und Ihr". Fremdenfeindliches Gedankengut in der postmodernen Gesellschaft und Copingstrategien der Sozialen Arbeit Belinda Peter / Boek Gebonden (paperback)
common.buy 16.08 €
Espectroscopia Fotoelectrónica de rayos X (XPS) - Un fundamento Pedro José Rodríguez Sulbarán / Boek Gebonden (paperback)
common.buy 44.23 €
BROCKHAUSEN Värityskirja Vol. 5 - Värityskirja: Merirosvo Dortje Golldack / Boek Gebonden (paperback)
common.buy 12.06 €
Czciciele Ognia, Czasu I Szatana: Zaratusztrianizm, Zurwanizm, Anahityzm, Mitraizm, Manicheizm, Mazdakizm, Mazdaznanizm, Jazydyzm Andrzej Juliusz Sarwa / Boek Gebonden (paperback)
common.buy 8.94 €
Walt Disney Captivating History / Boek Gebonden (harde band)
common.buy 21.51 €
Designer's guide couleur n.3 shi bukawa et takahashi ikuyoshi et yumi Boek Boek
common.buy 23.92 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Interactive Theorem Proving
Auteur Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2011
Aantal pagina's 383
EAN 9783642228629
ISBN 3642228623
Libristo-code 01658528
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 605
Afmetingen 155 x 235 x 23

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Interactive Technologies and Sociotechnical Systems Hongbin Zha / Boek Gebonden (paperback)
common.buy 58.21 €
Interactive Theorem Proving Matt Kaufmann / Boek Gebonden (paperback)
common.buy 115.02 €
Interactive Video Riad Hammoud / Boek Gebonden (paperback)
common.buy 102.35 €
Interactive Theorem Proving and Program Development Yves Bertot / Boek Gebonden (harde band)
common.buy 120.15 €
Inside Cyber: How Ai, 5g, and Quantum Computing Will Transform Privacy and Our Security Brooks / Boek Gebonden (harde band)
common.buy 23.22 €
Bigfoot And Santa Get Trashed In Vegas Raven Blackbird / Boek Gebonden (paperback)
common.buy 6.73 €
Flows, Energetics, and Waves: Mathematical Applications: Physical Sciences and Timothy S Margulies / Boek Gebonden (paperback)
common.buy 45.14 €
The Duties of Parents John Charles Ryle / Boek Gebonden (paperback)
common.buy 6.73 €
Understanding the I Ching: Restoring a Brilliant, Ancient Culture Alfred Huang / Boek Gebonden (paperback)
common.buy 14.67 €
Moments With The King: A Treasury Of Devotional Essays To Build And Strengthen Your Faith Kirby D Jones / Boek Gebonden (paperback)
common.buy 12.96 €
The Moral Characters of Theophrastus Theophrastus / Boek Gebonden (paperback)
common.buy 18.29 €
Race and Redemption Jane Samson / Boek Gebonden (paperback)
common.buy 49.06 €
Anatomy Flashcards: 300 Flashcards with Anatomically Precise Drawings and Exhaustive Descriptions Stephanie McCann / Spel/speelgoed Spel
common.buy 33.88 €
China's Information Control Practices and the Implications for the United States Economic and Security Review Commission / Boek Gebonden (paperback)
common.buy 17.39 €
Mastering Kotlin for Android 14 Harun Wangereka / Boek Gebonden (paperback)
common.buy 40.92 €
Life in the Ring: Lessons & Inspiration from the Sport of Boxing John E. Oden / Boek Gebonden (paperback)
common.buy 13.77 €
Toward the End of the Century: Essays Into Poetry Wayne Dodd / Boek Gebonden (paperback)
common.buy 22.61 €
TOP
Paladin's Faith T. Kingfisher / Boek Gebonden (paperback)
common.buy 10.35 €
I, Judas Iscariot Lloyd H Muller / Boek Gebonden (paperback)
common.buy 8.74 €
2003 Technology Collection Trends in the U.S. Defense Industry Department of Defense / Boek Gebonden (paperback)
common.buy 15.68 €
Honey Bucket Charlie Lewis H. Carlson / Boek Gebonden (harde band)
common.buy 35.28 €
Richard II Tom Wheelwright / Luisterboek MP3
common.buy 15.07 €
Finding Father Mary Ann Loewen / Boek Gebonden (paperback)
common.buy 25.23 €
Foundations of Paleoecology S. Kathleen Lyons / Boek Gebonden (harde band)
common.buy 186.32 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?