Vérifier l'état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Certified Programs and Proofs

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

Langue AnglaisAnglais
Livre Livre de poche
Livre Certified Programs and Proofs Georges Gonthier
Code Libristo: 02207279
Éditeurs Springer International Publishing AG, novembre 2013
This book constitutes the refereed proceedings of the Third International Conference on Certified Pr... Description détaillée
? points 125 b
51.67 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

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

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 & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet Certified Programs and Proofs
Auteur Georges Gonthier, Michael Norrish
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2013
Nombre de pages 309
EAN 9783319035444
ISBN 3319035444
Code Libristo 02207279
Éditeurs Springer International Publishing AG
Poids 498
Dimensions 155 x 235 x 18

Catégories

Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique > Automatique > Robotique
Informatique et technologies de l’information > Informatique > Informatique théorique > Mathématiques pour les informaticiens
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Compilateurs et interpréteurs
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Informatique et technologies de l’information > Informatique > Intelligence artificielle
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

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

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?