Numerical Software Verification -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre79,53 €
Produit Neuf
Ou 19,88 € /mois
- Livraison : 3,99 €
- Livré entre le 23 et le 29 juillet
Nos autres offres
-
89,73 €
Produit Neuf
Ou 22,43 € /mois
- Livraison à 0,01 €
- Livré entre le 24 juillet et le 5 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783319542911_dbm
Voir le détail de l'annonce -
135,99 €
Produit Neuf
Ou 34,00 € /mois
- Livraison : 25,00 €
- Livré entre le 6 et le 11 août
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Numerical Software Verification Format Broché - Livre
0 avis sur Numerical Software Verification Format Broché - Livre
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Numerical Software Verification Format Broché
- Livre
Résumé : The NSV workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.
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.
Détails de conformité du produit
Personne responsable dans l'UE