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.

Numerical Software Verification

9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Langue AnglaisAnglais
Livre Livre de poche
Livre Numerical Software Verification Sergiy Bogomolov
Code Libristo: 15802752
Éditeurs Springer International Publishing AG, février 2017
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Softwar... Description détaillée
? points 141 b
58.33 €
Stockage externe en petites quantités Expédition sous 11-15 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Uysal Kiz / Livre Livre de poche
common.buy 10.18 €
Mit dem Reisemobil über die Schweiz nach Frankreich und Spanien Oliver Wozny / Livre Livre de poche
common.buy 21.39 €
Intermezzo Sally Rooney / Livre Feuille
common.buy 17.85 €
Demencja. Podstawy Innes Anthea / Livre Livre de poche
common.buy 16.95 €
La fada negra XAVIER THEROS / Livre Livre de poche
common.buy 29.76 €
Le second enfer d'Etienne Dolet Etienne Dolet / Livre Livre relié
common.buy 44.40 €
All'improvviso a New York Melissa Hill / Livre Livre de poche
common.buy 11.90 €
Soziale Akte, Sprechakte Und Textillokutionen Armin Burkhardt / Livre Livre relié
common.buy 168.34 €
Shirayuki aux cheveux rouges - Tome 11 Sorata Akiduki / Livre Livre de poche
common.buy 10.59 €
Congelación y calidad de la carne Claude Genot / Livre Livre de poche
common.buy 16.24 €
Logbuch für Venedig oder Bündnis Christine de Pizan Reinhard Gailhofer / Livre Livre de poche
common.buy 23.30 €
OPERACIÓ MISS BOMBÓ CAT LE BLANC / Livre Livre relié
common.buy 11.90 €

This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification. The NSV workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.

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 Numerical Software Verification
Auteur Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2017
Nombre de pages 107
EAN 9783319542911
ISBN 3319542915
Code Libristo 15802752
Éditeurs Springer International Publishing AG
Poids 1883
Dimensions 155 x 235 x 7

Catégories

Informatique et technologies de l’information > Matériel informatique > Equipement de réseau
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Bases de données > Recherche d’information
Informatique et technologies de l’information > Informatique > Informatique théorique
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

My Boring Meeting Survival Guide & Notes Volume I: 6x9 Meeting Notebook and Puzzle Book Gadfly Books / Livre Livre de poche
common.buy 6.45 €
Creating Guided Meditations for Yourself and Others Alfred Willowhawk / Livre Livre de poche
common.buy 10.28 €
The Star-Crossed Renaissance: The Quarrel About Astrology And Its Influence In England Don Cameron Allen / Livre Livre relié
common.buy 44.80 €
When I Was a Boy DE BLAUWER KATRIEN / Livre Livre relié
common.buy 48.33 €
Sentiments of the Professors of Physick, in the Foreign Universities, Concerning the Operations and Method of Curing the Diseases Incident to the eye, John Taylor / Livre Livre relié
common.buy 26.84 €
Mending Matters: Stitch, Patch, and Repair Your Favorite Denim & More Katrina Rodabaugh / Livre Livre relié
common.buy 27.44 €
Mining and Farming in Minecraft Josh Gregory / Livre Livre relié
common.buy 28.86 €
Transforming Conflict through Communication in Personal, Family, and Working Relationships Peter Kellet / Livre Livre de poche
common.buy 62.57 €
He Went for a Soldier JOHN STRANGE WINTER / Livre Livre relié
common.buy 30.67 €
Bientôt
Stones of Christ Church Judith (Archivist) Curthoys / Livre Livre relié
common.buy 36.83 €
History Of The Origin Of The Doctrine Of The Trinity In The Christian Church (1883) Hugh Hutton Stannus / Livre Livre de poche
common.buy 22.09 €
Mans Supreme Inheritance: Conscious Guidance and Control in Relation to Human Evolution in Civilization F. Matthias Alexander / Livre Livre de poche
common.buy 34.41 €
Key Words with Peter and Jane Level 3b - We Can Fix It! LADYBIRD / Livre Livre relié
common.buy 4.53 €
Concise History of Veterinary Medicine Susan D. Jones / Livre Livre relié
common.buy 100.41 €
Kentucky Anthology Wade Hall / Livre numérique Adobe ePub DRM
common.buy 58.12 €
Understanding Financial Risk Management, Third Edition Corelli / Livre Livre de poche
common.buy 77.30 €
Cajal. El arte de la ciencia. / Livre Livre relié
common.buy 41.77 €
The 31st Consort, Vol. 1 Momotomoe / Livre Livre de poche
common.buy 10.59 €
Medical Romance June 2016 Books 1-6 Robin Gianna / Livre numérique Adobe ePub DRM
common.buy 20.88 €
Top
Tailored Realities Brandon Sanderson / Livre Livre relié
common.buy 26.33 €
Anti-Aircrafft Defence Against Low-Flying Enemy Aircraft C. H. B. Pridham / Livre Livre de poche
common.buy 13.72 €
Food Protein Sources N. W. Pirie / Livre Livre de poche
common.buy 45.00 €
Crystal Field Effects in Metals and Alloys A. Furrer / Livre Livre de poche
common.buy 102.73 €
From Hegel to Nietzsche Karl Lowith / Livre Livre de poche
common.buy 52.37 €

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 ?