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
La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

Certified Programs and Proofs

First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Certified Programs and Proofs Jean-Pierre Jouannaud
Code Libristo: 01659274
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, novembre 2011
This book constitutes the referred proceedings of the First International Conference on Certified Pr... Description détaillée
? points 132 b
53.79 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Das Prämenstruelle Syndrom (PMS) natürlich behandeln Andrea Flemmer / Livre Livre de poche
common.buy 19.95 €
Perú, 15 trekkings y 45 ascensiones DAVID TAURA / Livre Livre de poche
common.buy 20.69 €
Lehrbuch der Psychologie als Naturwissenschaft Theodor Waitz / Livre Livre de poche
common.buy 39.09 €
La poma Iwamura Kazuo / Livre Livre de poche
common.buy 16.79 €
Krutosť Nicola Lagioia / Livre Livre relié
common.buy 19.39 €
Aquascaping Oliver Knott / Livre Livre relié
common.buy 29.99 €
Découvrir Versailles et les châteaux de l'ïle-de-France Anne-Claire Morcrette / Livre Livre de poche
common.buy 23.49 €
Top
Das kleine Gespenst Otfried Preußler / Livre Livre relié
common.buy 12.00 €
Pluspunkte Beruf - A2-B1+ Joachim Becker / Livre Livre de poche
common.buy 31.99 €
L'Era Cenozoica Giancarlo Varnier / Livre numérique Adobe ePub DRM
common.buy 3.39 €
Bientôt
Ein Prisma zum Verständnis des 17. Jahrhunderts: Die diplomatische französische Korrespondenz zum Westfälischen Friedenskongress Michael Rohrschneider / Livre Livre de poche
common.buy 59.00 €
Las muletas del arbitraje laboral ORDEÑANA GEZURAGA / Livre Livre de poche
common.buy 52.09 €
Adrian Flemming Marinus Lester Cerdic / Livre Livre de poche
common.buy 11.99 €
Zásah Šípem Iva Šípová / Livre Livre relié
common.buy 7.49 €
Top
Save Us Mona Kasten / Livre Livre de poche
common.buy 14.00 €
Les Élections Et Les Cahiers de Paris En 1789: Paris Hors Les Murs (Volume Publié Sous Le Patronage Du Conseil Général de la Seine Charles-Louis Chassin / Livre Livre de poche
common.buy 30.79 €
Aleman para ninos: Mi Papa Es El Mejor: Libro infantil ilustrado espa?ol-alemán (Edición bilingüe), bilingue aleman espa?ol, Aleman Libro Sujatha Lalgudi / Livre Livre de poche
common.buy 10.49 €
Estimular y aprender JESUS JARQUE GARCIA / Livre Livre de poche
common.buy 24.99 €
24 Ore Marco Bartiromo / Livre Livre de poche
common.buy 11.19 €
Kunst - Das andere Memo-Spiel / Jeu/jouet Jeu
common.buy 12.95 €

This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011. §The 24 revised regular papers presented together with 4 invited talks were carefully reviewed and selected from 49 submissions. They are organized in topical sections on logic and types, certificates, formalization, proof assistants, teaching, programming languages, hardware certification, miscellaneous, and proof perls.

Actrice & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Certified Programs and Proofs
Auteur Jean-Pierre Jouannaud, Zhong Shao
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2011
Nombre de pages 401
EAN 9783642253782
ISBN 3642253784
Code Libristo 01659274
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 633
Dimensions 155 x 235 x 23

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

Thermo-Fluid Behaviour of Periodic Cellular Metals Tian Jian Lu / Livre Livre relié
common.buy 181.49 €
Building Bridges: HCI, Visualization, and Non-formal Modeling Gitta Domik / Livre Livre de poche
common.buy 53.79 €
English Dictionary Essential Collins Dictionaries / Livre Livre relié
common.buy 12.49 €
Sinkholes / Livre Livre relié
common.buy 34.19 €
my Diary: A Diary / Notebook with romantic Cover - Wide Ruled Line Paper Tamara Right Notebook / Livre Livre de poche
common.buy 8.89 €
Neurons, Axons, Dendrites, Synapses, and Memory Dorta Jose Morales Dorta / Livre Livre de poche
common.buy 21.99 €
The Nightmare Feast Andrew Klavan / Livre Livre relié
common.buy 25.79 €
Top
Hand on the Wall Maureen Johnson / Livre Livre relié
common.buy 16.99 €
Narrative of a Blockade-Runner J WILKINSON / Livre Livre relié
common.buy 39.99 €
Joe Miller's Jests MULTIPLE CONTRIBUTOR / Livre Livre relié
common.buy 32.79 €
Benjamin Banneker Katie Marsico / Livre Livre de poche
common.buy 12.49 €
Queen in 3-D Brian May / Livre Livre relié
common.buy 33.39 €
Number and Pattern in the Eighteenth-Century Novel Douglas Brooks / Livre Livre relié
common.buy 172.99 €
India's True Voice Alvin Boyd Kuhn / Livre Livre de poche
common.buy 36.69 €
Euphony The Sound of Life Daniel Levy / Livre Livre de poche
common.buy 29.49 €
Big Apple Patricia Mackin / Livre Livre de poche
common.buy 15.39 €
Manic Botanic Irina Vinnik / Livre Livre de poche
common.buy 13.59 €
Top Bientôt
He-man And The Masters Of The Universe: The Newspaper Comic Strips James Shull / Livre Livre relié
common.buy 22.69 €
Ministry of Disturbance and Other SF H. Beam Piper / Livre Livre de poche
common.buy 15.09 €
Della's Destiny - A Women's Adventure Around Australia with Her Horse and Dog Maricy Dalsanto / Livre Livre de poche
common.buy 23.19 €
Play Dates Leslie Sara Carroll / Livre Livre de poche
common.buy 13.79 €
Rewiring Democracy Bruce Schneier / Livre numérique Adobe ePub DRM
common.buy 33.09 €
High Strength Steels Mingxin Huang / Livre Livre de poche
common.buy 268.99 €
2023 the 7th International Conference on Energy and Environmental Science Jianping Yang / Livre Livre relié
common.buy 178.49 €

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 ?