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

Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Certified Programs and Proofs Chris Hawblitzel
Code Libristo: 01662768
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, novembre 2012
This book constitutes the refereed proceedings of the Second International Conference on Certified P... Description détaillée
? points 125 b
51.56 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

EFT - svoboda emocí Ramona B. Wagner / Livre Livre de poche
common.buy 3.83 €
Nussknacker 4. Ausgabe Bayern Peter H. Maier / Livre Feuille
common.buy 20.78 €
Correlacion / Livre Livre de poche
common.buy 35.62 €
Erbarmen mit den Männern Sophie R. Knaak / Livre Livre de poche
common.buy 18.26 €
Die verfassungsrechtliche Grundordnung als Rechtsproblem Anna Gamper / Livre Livre de poche
common.buy 23.61 €
Enzimas Fibroliticas de Agaricus bisporus para rumiantes Maricela Ayala-Martínez / Livre Livre de poche
common.buy 31.98 €
Russland ALS Autoritares System Kay Renner / Livre Livre de poche
common.buy 15.23 €
Sterben alter Menschen in der modernen Gesellschaft Gisela Jung / Livre Livre de poche
common.buy 16.14 €
Metaverzum Ball / Livre Livre relié
common.buy 23.91 €
UNIVERSITALIA LIBRO DEGLI ESERCIZI + CD Elena Carrara / Livre Livre de poche
common.buy 34.91 €

This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012.§The 18 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in computer science and mathematics in which certification via formal techniques is crucial.

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 Chris Hawblitzel, Dale Miller
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2012
Nombre de pages 305
EAN 9783642353079
ISBN 364235307X
Code Libristo 01662768
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 486
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 > Programmation informatique / génie logiciel > Génie logiciel
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

Hyperbolicity and Sensitive Chaotic Dynamics at Homoclinic Bifurcations Floris Takens / Livre Livre relié
common.buy 72.36 €
Bientôt Nouveauté
The Problem of Passing Sandra Harvey / Livre Livre de poche
common.buy 29.16 €
Mara Plants a Seed Robert Furrow / Livre Livre de poche
common.buy 16.95 €
Hex and Hexability Kate Johnson / Livre Livre de poche
common.buy 9.68 €
Biography of the Signers to the Declaration of Independence; Volume 4 John Sanderson / Livre Livre de poche
common.buy 24.01 €
Love Or Pride, Adapted From The Swedish (1873) Annie Wood / Livre Livre de poche
common.buy 30.67 €
Sex Positions: 100 Sex Positions to Try before You Die: The Ultimate Sex Guide for His & Her Pleasure James Ryan / Livre Livre de poche
common.buy 13.31 €
Who Was Che Guevara? Ellen Labrecque / Livre Livre de poche
common.buy 6.25 €
Pearson Edexcel International GCSE (9-1) Business Student Book Rob Jones / Livre Livre de poche
common.buy 55.10 €
The Scarlet Letter Nathaniel Hawthorne / Livre Livre relié
common.buy 20.18 €
I'm NOT Just an EMT! Real Paramedics Like Cats Kent Courtney / Livre Livre de poche
common.buy 17.35 €
Improving Project Performance Jerry L Wellman / Livre Livre relié
common.buy 41.37 €
Little Black Songbook Tom Waits / Livre Livre
common.buy 17.05 €
Dark Tort Diane Mott Davidson / Livre Livre de poche
common.buy 8.16 €
Understanding Language Teaching: Reasoning in Action Karen E. Johnson / Livre Livre de poche
common.buy 70.44 €

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 ?