Software Verification -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre87,75 €
Produit Neuf
Ou 21,94 € /mois
- Livraison : 3,99 €
- Livré entre le 18 et le 24 juillet
Nos autres offres
-
97,92 €
Produit Neuf
Ou 24,48 € /mois
- Livraison à 0,01 €
- Livré entre le 18 et le 31 juillet
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783030955601_dbm
Voir le détail de l'annonce
- 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 Software Verification Format Broché - Livre Informatique
0 avis sur Software Verification Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
A History Of Modern Europe
Neuf dès 66,61 €
-
Perfectionnement Allemand (5 Cd Audio)
1 avis
Occasion dès 47,90 €
-
The French Army And The First World War
Neuf dès 51,69 €
-
Noco Boost Gb40 :
Neuf dès 54,99 €
-
Greek Gods Abroad
Neuf dès 50,25 €
-
The New Munsell Student Color Set
Neuf dès 125,62 €
-
La Sante Interdite
1 avis
Occasion dès 71,00 €
-
Motel Fetish
1 avis
Occasion dès 59,00 €
-
Vivian Maier - Photographin
Occasion dès 45,75 €
-
Agitator
Occasion dès 58,00 €
-
Ephemerides 1950-2050 Ut For 0h International Edition
17 avis
Occasion dès 44,95 €
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
Occasion dès 72,53 €
-
Picasso And Portraiture
Occasion dès 64,18 €
-
Photographs
Occasion dès 80,09 €
-
The Ghost In The Shell Book
Neuf dès 71,80 €
-
Microeconomics, Global Edition
Neuf dès 151,23 €
Occasion dès 75,90 €
-
Collecting Antique Meerschaum Pipes
Neuf dès 55,84 €
-
Michael O'neill. On Yoga: The Architecture Of Peace
Occasion dès 49,00 €
-
Anglais Débutants À B2 - Pack Audio (3 Cd Audio)
1 avis
Neuf dès 65,90 €
Occasion dès 52,72 €
-
Hugo Pratt. Geografie Immaginarie-Imaginary Geographies-Géographies Imaginaires
Neuf dès 51,98 €
Produits similaires
Présentation Software Verification Format Broché
- Livre Informatique
Résumé :
This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually. There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers focuses on challenges of the verification of cyber-physical systems with machine learning components and making large-scale verified software a practical reality and much more.
Sommaire:
VSTTE 2021.- Quantitative Monitoring of Software.- Making Proofs of Floating-Point Programs Accessible to Regular Developers.- A Calculus for Multi-language Operational Semantics.- Partial Order Reduction for Timed Actors.- Uncertainty-Aware Signal Temporal Logic Inference.- Designing and Proving Properties of the Abaco Autoscaler Using TLA+.- Case Study: Analysis of Autonomous Center line Tracking Neural Networks.- Abstract Interpretation of LLVM with a Region-Based Memory Model.- NSV 2021.- Formal Verification of Neural Network Controllers for Collision-Free Flight.- An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods.-Modeling Round-off Errors in Hydrodynamic Simulations....
Détails de conformité du produit
Personne responsable dans l'UE