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.

Certified Programs and Proofs

Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Certified Programs and Proofs Georges Gonthier
Libristo-code: 02207279
Uitgeverij Springer International Publishing AG, november 2013
This book constitutes the refereed proceedings of the Third International Conference on Certified Pr... Volledige beschrijving
? points 125 b
51.67 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

In the Psychology of Belief - Heretics - Bold Journeys with the Enemies of Science Will Store / E-book Adobe ePub DRM
common.buy 15.36 €
Voyage Au Pays Des Roubles Via Munich Et Berlin (1877) Ivan Golovin / Boek Gebonden (paperback)
common.buy 36.40 €
Biblijski Stihovi za Decu od 2-6 Godina Boyana Atwood / Boek Gebonden (paperback)
common.buy 12.73 €
Pack Huella de carbono / Boek Gebonden (paperback)
common.buy 137.64 €
Chroniques dilettantes Philippe Bélaval / Boek Gebonden (paperback)
common.buy 35.39 €
¿Pero esto también es matemática? ADRIAN PAENZA / Boek Gebonden (paperback)
common.buy 20.42 €
Zbiór kazusów z prawa socjalnego / Boek Gebonden (paperback)
common.buy 14.45 €
Vie de Mgr H.-L. de Quelen, Archeveque de Paris De Grandmaison De Bruno-G / Boek Gebonden (paperback)
common.buy 16.78 €
Feng Shui 2016 Adrien Silverstone / Boek Gebonden (paperback)
common.buy 17.18 €
Auswirkungen von Gehaltsobergrenzen unter besonderer Berucksichtigung von professionellen Sportligen Christoffer Winter / Boek Gebonden (paperback)
common.buy 65.93 €
Älteste Deutsche Dichtungen Karl Wolfskehl / Boek Gebonden (paperback)
common.buy 29.42 €
Rucklagenbildung bei gemeinnutzigen Koerperschaften als Mittel der periodenubergreifenden Selbstfinanzierung Josef Schoberer / Boek Gebonden (paperback)
common.buy 17.08 €
Schadensersatz als Enttäuschungsverarbeitung. Stephan Meder / Boek Gebonden (paperback)
common.buy 67.14 €

This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held in Melbourne, Australia, in December 2013.§The 18 revised regular papers presented together with 1 invited lecture were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections in code verification, elegant proofs, proof libraries, certified transformations and security.

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 Certified Programs and Proofs
Auteur Georges Gonthier, Michael Norrish
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2013
Aantal pagina's 309
EAN 9783319035444
ISBN 3319035444
Libristo-code 02207279
Uitgeverij Springer International Publishing AG
Gewicht 498
Afmetingen 155 x 235 x 18

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie > Wiskunde voor computerwetenschappers
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
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

Don't Pet The Dragon C Michael Davis / Boek Gebonden (paperback)
common.buy 17.49 €
Poems of American Partriotism J. Brander Matthews / Boek Gebonden (paperback)
common.buy 23.05 €
Don't Worry 'Bout The Bear Jim Simpson / Boek Gebonden (paperback)
common.buy 26.69 €
The Spongebob Movie: Sponge on the Run: Happy Campers! (Spongebob Squarepants) David Lewman / Boek Gebonden (paperback)
common.buy 5.45 €
Happy Narwhalidays CLANTON BEN / Boek Gebonden (paperback)
common.buy 9.29 €
Conversion of the Roman Empire CHARLES MERIVALE / Boek Gebonden (paperback)
common.buy 20.52 €
Living Privately in Public: Research on Social Media and Responsibility Tlu Krost Symposium 2011 / Boek Gebonden (paperback)
common.buy 7.17 €
Bamagirlluvsu: A brutally honest and entertaining expose about cyber dating Sandy Gowers / Boek Gebonden (paperback)
common.buy 13.04 €
Gardens of Green Lynn M. Dixon / Boek Gebonden (paperback)
common.buy 12.33 €
Warrior Mother Sheila Collins / Boek Gebonden (paperback)
common.buy 13.54 €
Hidden History of Portland, Oregon J. D. Chandler / Boek Gebonden (paperback)
common.buy 19.61 €
The Gilded Age and Later Novels Mark Twain / Boek Gebonden (harde band)
common.buy 40.24 €
In Defense of the Founders Republic Lonce H. Bailey / Boek Gebonden (harde band)
common.buy 208.33 €
Glimpses of Bengal - Selected from the Letters of Sir Rabindranath Tagore 1885-1895 Rabindranath Tagore / Boek Gebonden (paperback)
common.buy 13.54 €
Kant's Conception Of God F.E. England / Boek Gebonden (harde band)
common.buy 43.07 €
Snake Chinese Horoscope & Astrology 2022 Zhouyi Feng Shui / Boek Gebonden (paperback)
common.buy 9.90 €
Paths of Revolution Gilly / Boek Gebonden (paperback)
common.buy 32.56 €

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?