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 69.99 €
DPD koerier 6.49 € Bpost punt 8.49 € Bpost 7.99 € DPD-punt 3.99 € GLS koerier 5.49 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Interactive Theorem Proving

5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Taal EngelsEngels
Boek Paperback
Boek Interactive Theorem Proving Gerwin Klein
Libristo-code: 02779852
Uitgeverij Springer International Publishing AG, juni 2014
This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Pro... Volledige beschrijving
? points 125 b
51.42 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

LECCIONARI DE LA MISSA COMENTAT - CICLE C FARNES SHERER / Boek Boek
common.buy 13.68 €
Подготовка к экзамену по русскому языку как иностранному. Первый сертификационный уровень. Тесты. Письмо. B1 Е Никитина / Boek Paperback
common.buy 21.73 €
Instructiestrategieën voor het onderwijzen van kritisch denken Charoula Angeli / Boek Paperback
common.buy 43.47 €
Mesnevija II Dželaluddin Rumi / Boek Paperback
common.buy 16.90 €
Stadi. Architettura e mito Fabio Salomoni / Boek Paperback
common.buy 32.90 €
Leucémie - Investigation moléculaire et étude immunogénétique Zainab W. Maroof / Boek Paperback
common.buy 29.28 €
Harry Potter - Le Coffret du sorcier Natacha Rocca / Boek Paperback
common.buy 23.74 €
Aktiv für gesunde Knochen, m. DVD Marta Agoston / Boek Paperback
common.buy 7.24 €
De la sigillographie féminine médiévale dans l’Europe méditerranéenne / Boek Paperback
common.buy 40.04 €
Theorien der Vergleichenden Regierungslehre Gisela Riescher / Boek Paperback
common.buy 26.36 €
Wordt verwacht
Franz Liszt und seine Zeit Wolfgang Dömling / Boek Gebonden
common.buy 35.01 €
Ravensburger - 20954 That's not a hat Kartenspiel für 3-8 Personen, Partyspiel, lustige Unterhaltung ab 8 Jahren Kasper Lapp / Drukwerk Speelkaarten
common.buy 10.46 €
EinFach Deutsch Unterrichtsmodelle Heinrich von Kleist / Boek Paperback
common.buy 30.38 €
Quelques Considerations Sur Notre Temps Jacquinet-M-N / Boek Paperback
common.buy 26.86 €
Alpha plus - Deutsch als Zweitsprache - Basiskurs Alphabetisierung - A1 Anita Grunwald / Boek Paperback
common.buy 20.02 €
Pontificato Di Leone XIII Rapporti Con l'Armenia Georges-Henri Ruyssen / Boek Paperback
common.buy 15.79 €
Cocina Tradicional Vasca / Boek Paperback
common.buy 7.24 €
Empezar de cero Jimi Hendrix / Boek Paperback
common.buy 26.96 €
Dirección y gestión empresarial Fausto Pedro García Márquez / Boek Paperback
common.buy 34.01 €
Eignung von Speichertechnologien zum Erhalt der Systemsicherheit (Band 13) / Boek Paperback
common.buy 45.90 €
Histoire Ecclesiastique Et Monastique de Douai Depuis l'Etablissement Du Christianisme DUTHILLOEUL-H-R-J / Boek Paperback
common.buy 19.71 €
Kreativnye mysli Evgenij Shepel' / Boek Paperback
common.buy 37.23 €
La Guérison Métaphysique: Comment guérir avec certitude Edmond Nanoukon / Boek Paperback
common.buy 31.99 €
citrouille roulante JUNIA WONDERS / Boek Gebonden
common.buy 23.64 €

This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

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 Gerwin Klein, Ruben Gamboa
Taal Engels
Bindwijze Boek - Paperback
Datum van uitgifte 2014
Aantal pagina's 555
EAN 9783319089690
ISBN 3319089692
Libristo-code 02779852
Uitgeverij Springer International Publishing AG
Gewicht 8657
Afmetingen 155 x 235 x 30

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Computernetwerken en communicatiesystemen > Netwerkveiligheid
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Informatica en informatietechnologie > Computerbeveiliging
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 Sandrine Blazy / Boek Paperback
common.buy 51.42 €
Interactive Theorem Proving and Program Development Yves Bertot / Boek Paperback
common.buy 85.23 €
The Front Yard: And Other Italian Stories (1895) Constance Fenimore Woolson / Boek Paperback
common.buy 32.29 €
Big Book Of Low-Sodium Recipes Linda Larsen / Boek Paperback
common.buy 18.92 €
Norfolk and Western Railway Stations and Depots C. Nelson Harris / Boek Paperback
common.buy 21.22 €
Practical Guide To Self-Deliverance, A Dennis Clark / Boek Paperback
common.buy 15.70 €
Iconoclastic Fervor Hillary Sullivan / Boek Paperback
common.buy 25.55 €
Secrets of the Eternal Moon Phase Goddesses Julie Peters / Boek Gebonden
common.buy 21.43 €
Losing Kali Kali Rae Wheeler / Boek Gebonden
common.buy 23.64 €
Fields of Gold: The Orchid and the Rose Jim Stephens / Boek Paperback
common.buy 19.71 €
Asbestos Standard for the Construction Industry U S Department of Labor / Boek Paperback
common.buy 15.09 €
Peeves Mike Van Waes / Boek Paperback
common.buy 8.54 €
The Melaki Chronicle Volume II William Thrash / Boek Paperback
common.buy 17.00 €
Peter Rabbit Hoppy Holidays Sticker Activity Book Beatrix Potter / Boek Paperback
common.buy 6.53 €
Culinary Rockstar: 120 Pages I 6x9 I Graph Paper 5x5 I Funny Culinary, Grill & BBQ Gifts Funny Notebooks / Boek Paperback
common.buy 8.75 €
A Match for Emma Pepper Basham / Boek Paperback
common.buy 13.27 €
Physical Review, Volume 12 Cornell University / Boek Paperback
common.buy 28.37 €
30 Years at Ballymaloe: A celebration of the world-renowned cookery school with over 100 new recipes Darina Allen / Boek Gebonden
common.buy 33.92 €
Swedish Empire History Hourly History / Boek Paperback
common.buy 10.56 €
The Forty Hadith of Imam al-Nawawi Yahya Ibn Sharaf Al-Nawawi / Boek Paperback
common.buy 10.86 €
Managing the Injured Athlete Zoe Hudson / E-book Adobe ePub DRM
common.buy 39.14 €
Environmental Management in Organizations John Brady / E-book Adobe ePub DRM
common.buy 75.37 €
Mindfulness-Based Cognitive Therapy for Bipolar Disorder Thilo Deckersbach / E-book Adobe ePub DRM
common.buy 72.45 €
Branded as Trouble Delores Fossen / Luisterboek MP3
common.buy 20.82 €

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?