Software Verification -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre78,17 €
Produit Neuf
Ou 19,54 € /mois
- Livraison à 0,01 €
- Livré entre le 7 et le 14 avril
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783030955601_dbm
Nos autres offres
-
28,63 €
Occasion · Comme Neuf
1,43 € offerts- Livraison : 0,00 €
- Livré entre le 13 et le 21 avril
Service client à l'écoute et une politique de retour sans tracas - Livraison des USA en 3 a 4 semaines (2 mois si circonstances exceptionnelles) - La plupart de nos titres sont en anglais, sauf indication contraire. N'hésitez pas à nous envoyer un e-... Voir plus -
78,17 €
Produit Neuf
Ou 19,54 € /mois
- Livraison à 0,01 €
- Livré entre le 7 et le 14 avril
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783030955601_dbm
- 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
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Textes Allemands : Classes Terminales
1 avis
Occasion dès 40,00 €
-
De Caligari À Hitler : Une Histoire Psychologique Du Cinéma Allemand 1919-1933
4 avis
Occasion dès 22,00 €
-
Art Nouveau: Paris 1895 (Giftwraps By Artists)
Occasion dès 35,00 €
-
Le Liberalisme Catholique
Occasion dès 15,00 €
-
Supreme Puissance
11 avis
Occasion dès 20,00 €
-
Grammatik Aktiv - Deutsch Als Fremdsprache - B2/C1
Neuf dès 37,15 €
-
Henri Cartier-Bresson
Occasion dès 17,00 €
-
Water Fuel Cell
Neuf dès 31,01 €
-
L'idiotisme - Dictionnaire D'expressions Idiomatiques Français-Anglais Et Anglais-Français
Neuf dès 49,00 €
Occasion dès 37,39 €
-
Greek New Testament Gnt6. Standardausgabe
Neuf dès 35,06 €
-
Adieu To Emmanuel Levinas
Neuf dès 24,61 €
Occasion dès 32,19 €
-
Vw Polo Petrol & Diesel (02 - Sept 09) Haynes Repair Manual
Neuf dès 40,01 €
-
Roy Decarava: A Retrospective
Occasion dès 32,82 €
-
Napoleon
Neuf dès 32,60 €
Occasion dès 24,00 €
-
Wyoming Atlas & Gazetteer
Occasion dès 34,99 €
-
The Caro-Kann Revisited - A Complete Repertoire For Black
Neuf dès 34,62 €
-
The Intelligent Investor
Neuf dès 25,67 €
Occasion dès 47,71 €
-
Oiseaux-Ocells
Occasion dès 25,00 €
-
Cambodian Dancers - Ancient And Modern
Neuf dès 33,12 €
-
Initiation À L'hébreu Biblique
2 avis
Occasion dès 16,00 €
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