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

First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Interactive Theorem Proving Matt Kaufmann
Libristo-code: 01656145
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juni 2010
This book constitutes the refereed proceedings of the First International Conference on Interactive... Volledige beschrijving
? points 280 b
115.59 €
In extern magazijn Wordt binnen 9-15 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Jak vznikla a hospodařila TJ Letové sporty Tleskač v Praze / Boek Gebonden (paperback)
common.buy 6.76 €
Obstbau E. Voges / Boek Gebonden (paperback)
common.buy 17.88 €
Rolle des Filmkameramanns bei der Produktion von Spielfilmen - Exemplarisch dargestellt anhand der Arbeit des Kameramanns Frank Griebe Torben Asmussen / Boek Gebonden (paperback)
common.buy 40.11 €
Europaisches Wettbewerbsrecht am Beispiel der Fernsehrechtsproblematik der UEFA Champions League und der FIFA WM 2006 Tobias Schoener / Boek Gebonden (paperback)
common.buy 16.16 €
Test der verschiedenen Proteinanteile Serge Munganga Kabate / Boek Gebonden (paperback)
common.buy 39.20 €
Aristoteles: Metaphysik IX, 1-3. Vom Wesen und Wirklichkeit der Kraft (Sommersemester 1931). Buch.IX Martin Heidegger / Boek Gebonden (paperback)
common.buy 33.44 €
Nitra Vladimír Barta / Boek Gebonden (harde band)
common.buy 33.84 €
DF 81 ALEJ MAGNO IV INDIA A BABILONIA / Boek Boek
common.buy 10.40 €
Nach Spanien Und Portugal H. Obersteiner / Boek Gebonden (paperback)
common.buy 26.77 €
Криптвоюматика 2.0. Стань сыном маминой подруги Алексей Марков / Boek Gebonden (harde band)
common.buy 19.39 €
TOP
Profi-Nonogramm 3er-Band. Nr.16. Nr.16 Conceptis Puzzles / Boek Gebonden (paperback)
common.buy 8.98 €
Haltestelle Brussel Hermann Bausinger / Boek Gebonden (paperback)
common.buy 19.59 €
Contribution a la lutte contre la cybercriminalite des jeunes Dinde Fernand Agbo / Boek Gebonden (paperback)
common.buy 62.24 €
Politische Gesprache der Toten Anonymus / Boek Gebonden (paperback)
common.buy 35.66 €
Dibujar : trucos, técnicas y recursos para la inspiración visual Helen Birch / Boek Gebonden (paperback)
common.buy 15.65 €
Solo-Klaviermusik Vol.6 Miklos Spanyi / Audio Audio cd
common.buy 17.57 €
Une Page de l'Histoire de Napoleon 1er Le Moine-O / Boek Gebonden (paperback)
common.buy 15.55 €
Quelques Mots Sur La Maxime: 'le Roi Regne Et Ne Gouverne Pas' Sans Auteur / Boek Gebonden (paperback)
common.buy 12.72 €

This book constitutes the refereed proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. The 33 revised full papers presented were carefully reviewed and selected from 74 submissions. The papers are organized in topics such as counterexample generation, hybrid system verification, 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 Matt Kaufmann, Lawrence C. Paulson
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2010
Aantal pagina's 495
EAN 9783642140518
ISBN 3642140513
Libristo-code 01656145
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 759
Afmetingen 155 x 238 x 33

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Geneeskunde en verpleging > Klinische en interne geneeskunde > Ziekten en aandoeningen > Immunologie
Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
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 Theorem Proving and Program Development Yves Bertot / Boek Gebonden (harde band)
common.buy 120.75 €
Interactive Video Riad Hammoud / Boek Gebonden (paperback)
common.buy 102.86 €
Experimental Robotics Oussama Khatib / Boek Gebonden (paperback)
common.buy 205.53 €
Interactive Theorem Proving Marko Van Eekelen / Boek Gebonden (paperback)
common.buy 61.03 €
Interactive Technologies and Sociotechnical Systems Hongbin Zha / Boek Gebonden (paperback)
common.buy 61.03 €
You Bantering Me? Chris Hughes / Boek Gebonden (paperback)
common.buy 18.08 €
Homo Sapiens to Homo 'X' Lawrence Nyaguti Ochieng / Boek Gebonden (harde band)
common.buy 35.76 €
Rite of Rejection Sarah Negovetich / Boek Gebonden (paperback)
common.buy 12.12 €
Oblomov Ivan Aleksandrovich Goncharov / Boek Gebonden (paperback)
common.buy 10.30 €
Long Life in Florida Hilton Hotema / Boek Gebonden (paperback)
common.buy 31.62 €
We Were Free-Range: An American Childhood 1950-1962 John Erwin / Boek Gebonden (paperback)
common.buy 13.03 €
Annihilation Jeff VanderMeer / Boek Gebonden (paperback)
common.buy 15.05 €
Classification, Disease and Evidence Philippe Huneman / Boek Gebonden (paperback)
common.buy 51.63 €
From The Sun To The Stars James B. Kaler / Boek Gebonden (paperback)
common.buy 34.75 €
Kaylynn's Reading Log Martha Day Zschock / Boek Gebonden (paperback)
common.buy 8.38 €
Village Heroes Meet the Dragon Patti Vincent / Boek Gebonden (paperback)
common.buy 21.21 €
Camping Keith Baker / Boek Gebonden (paperback)
common.buy 6.46 €
Sleeping on a Wire David Grossman / Boek Gebonden (paperback)
common.buy 20.20 €
The Last Midwife Sandra Dallas / Boek Gebonden (paperback)
common.buy 20.91 €
Evolving Human Nutrition Stanley Ulijaszek / Boek Gebonden (harde band)
common.buy 167.94 €
Chakradance Natalie Southgate / E-book Adobe ePub DRM
common.buy 16.56 €
Uncertainty in Ai: A Journal Through Possible Worlds LAWRY JONATHAN / Boek Gebonden (harde band)
common.buy 123.88 €
Hidden in Blackness Adaurennaya C Onyewuenyi / Boek Gebonden (harde band)
common.buy 133.99 €
PRINCE WITHOUT SORROW WIJESEKARA MAITHREE / Boek Gebonden (paperback)
common.buy 13.33 €

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