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 148 b
61.03 €
In extern magazijn in kleine hoeveelheid Wordt binnen 13-18 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Pferdekrankheiten Wilfried Bellinghausen / Boek Gebonden (paperback)
common.buy 17.88 €
Da soli per forza. Il ritiro sociale in adolescenza Michele Procacci / Boek Gebonden (paperback)
common.buy 15.86 €
Spirou und Fantasio Gesamtausgabe Neuedition 1 André Franquin / Boek Gebonden (harde band)
common.buy 28.59 €
Black Hawk Down Tonanalyse - Utopie oder Realismus Timo Leich / Boek Gebonden (paperback)
common.buy 16.16 €
Deutschland, Europa und der Euro? Wolfgang K. E. Wittmann / Boek Gebonden (paperback)
common.buy 8.98 €
Chromatic herbarium Massimo Gardone / Boek Gebonden (paperback)
common.buy 67.39 €
Albert Einstein Johannes Wickert / Boek Gebonden (paperback)
common.buy 9.08 €
Designer's guide couleur n.3 shi bukawa et takahashi ikuyoshi et yumi Boek Boek
common.buy 25.05 €
Walt Disney Captivating History / Boek Gebonden (harde band)
common.buy 21.62 €
Czciciele Ognia, Czasu I Szatana: Zaratusztrianizm, Zurwanizm, Anahityzm, Mitraizm, Manicheizm, Mazdakizm, Mazdaznanizm, Jazydyzm Andrzej Juliusz Sarwa / Boek Gebonden (paperback)
common.buy 8.98 €
BROCKHAUSEN Värityskirja Vol. 5 - Värityskirja: Merirosvo Dortje Golldack / Boek Gebonden (paperback)
common.buy 12.12 €
Espectroscopia Fotoelectrónica de rayos X (XPS) - Un fundamento Pedro José Rodríguez Sulbarán / Boek Gebonden (paperback)
common.buy 44.45 €
"Wir und Ihr". Fremdenfeindliches Gedankengut in der postmodernen Gesellschaft und Copingstrategien der Sozialen Arbeit Belinda Peter / Boek Gebonden (paperback)
common.buy 16.16 €
Matemáticas transversales, 5 y 6 Educación Primaria Rosario María González Vigil / Boek Gebonden (paperback)
common.buy 13.33 €
Ridiculum Vitae Orta / Boek Gebonden (paperback)
common.buy 13.33 €
TOP
Terror Ferdinand von Schirach / Boek Gebonden (paperback)
common.buy 10.90 €

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 61.03 €
Interactive Theorem Proving Matt Kaufmann / Boek Gebonden (paperback)
common.buy 115.59 €
Interactive Video Riad Hammoud / Boek Gebonden (paperback)
common.buy 102.86 €
Interactive Theorem Proving and Program Development Yves Bertot / Boek Gebonden (harde band)
common.buy 120.75 €
Toward the End of the Century: Essays Into Poetry Wayne Dodd / Boek Gebonden (paperback)
common.buy 22.73 €
Life in the Ring: Lessons & Inspiration from the Sport of Boxing John E. Oden / Boek Gebonden (paperback)
common.buy 13.94 €
TOP
Kingdom, Vol. 2 Yasuhisa Hara / Boek Gebonden (paperback)
common.buy 12.92 €
Race and Redemption Jane Samson / Boek Gebonden (paperback)
common.buy 50.52 €
Moments With The King: A Treasury Of Devotional Essays To Build And Strengthen Your Faith Kirby D Jones / Boek Gebonden (paperback)
common.buy 13.03 €
Understanding the I Ching: Restoring a Brilliant, Ancient Culture Alfred Huang / Boek Gebonden (paperback)
common.buy 14.74 €
The Duties of Parents John Charles Ryle / Boek Gebonden (paperback)
common.buy 6.76 €
Flows, Energetics, and Waves: Mathematical Applications: Physical Sciences and Timothy S Margulies / Boek Gebonden (paperback)
common.buy 45.36 €
China's Information Control Practices and the Implications for the United States Economic and Security Review Commission / Boek Gebonden (paperback)
common.buy 17.47 €
Finding Father Mary Ann Loewen / Boek Gebonden (paperback)
common.buy 25.35 €
Foundations of Paleoecology S. Kathleen Lyons / Boek Gebonden (harde band)
common.buy 187.34 €
Voordelig
The Art of Lying: A Moral Guide on How to Properly Lie, Cheat, Deceive, and Manipulate Sally Fairfax / Boek Gebonden (paperback)
common.buy 4.54 €
Linguistics and Cross Linguistics issues in translating English Media Kais Kadhim / Boek Gebonden (paperback)
common.buy 49.81 €
Firefighters / Boek Gebonden (paperback)
common.buy 9.08 €
Mastering Reinforcement Learning with Python Enes Bilgin / Boek Gebonden (paperback)
common.buy 49.61 €
Architecting High-Performance Embedded Systems Jim Ledin / Boek Gebonden (paperback)
common.buy 53.35 €
Mortimer: Rat Race to Space Joan Marie Galat / Boek Gebonden (paperback)
common.buy 11.00 €
Cartoons That Saved the World Tom Ellen / Boek Gebonden (paperback)
common.buy 9.29 €
TOP
How Big Things Get Done Dan Gardner / Boek Gebonden (harde band)
common.buy 24.34 €
Richard II Tom Wheelwright / Luisterboek MP3
common.buy 15.05 €

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