Dependable Software Engineering. Theories, Tools, and Applications -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre83,74 €
Produit Neuf
Ou 20,94 € /mois
- Livraison : 3,99 €
- Livré entre le 21 et le 27 juillet
Nos autres offres
-
90,52 €
Produit Neuf
Ou 22,63 € /mois
- Livraison à 0,01 €
Expédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
Voir le détail de l'annonce -
108,52 €
Produit Neuf
Ou 27,13 € /mois
- Livraison à 0,01 €
- Livré entre le 21 juillet et le 3 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783030912642_dbm
Voir le détail de l'annonce -
111,82 €
Produit Neuf
Ou 27,96 € /mois
- Livraison : 5,00 €
- Livré entre le 21 et le 27 juillet
Exp¿di¿ en 7 jours ouvr¿s
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 Dependable Software Engineering. Theories, Tools, And Applications Format Broché - Livre Informatique
0 avis sur Dependable Software Engineering. Theories, Tools, And Applications Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Dji Osmo 4 : 4k/240fps3activetrack
Neuf dès 85,99 €
-
Anders Petersen, Rome
Occasion dès 65,00 €
-
Gilbert Portanier
Neuf dès 81,26 €
-
Ephemerides 1950-2050 Ut For 0h International Edition
17 avis
Occasion dès 44,95 €
-
The Eb Real Book, Sixth Edition
1 avis
Neuf dès 48,97 €
-
Art And Devotion At A Buddhist Temple In The Indian Himalaya
Neuf dès 72,46 €
-
Culinaria France
Occasion dès 57,00 €
-
Fundamentals Of Creature Design
Neuf dès 47,55 €
-
Medieval Military Technology, Second Edition
Neuf dès 75,96 €
-
Rivstart A1 + A2 Textbok
Occasion dès 55,22 €
-
Kodak Pixpro Fz55-Bk : (Japanese Edition)
Neuf dès 45,99 €
-
Museum Of The Revolution
Occasion dès 45,99 €
-
Iconic Roland-Garros - Livre Officiel
1 avis
Occasion dès 42,48 €
-
Georgia O'keeffe
Occasion dès 105,99 €
-
Adventures Of Byomkesh Bakshi
Neuf dès 41,91 €
-
500+ Ukrainian Verbs
Neuf dès 69,18 €
-
A History Of Modern Europe
Neuf dès 66,61 €
-
Perfectionnement Allemand (5 Cd Audio)
1 avis
Occasion dès 47,90 €
-
Il Cavaliere Inesistente
Occasion dès 43,82 €
-
So Hilft Ihnen Die Blutegeltherapie
Neuf dès 71,94 €
Produits similaires
Présentation Dependable Software Engineering. Theories, Tools, And Applications Format Broché
- Livre Informatique
Résumé :
This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021. The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
Sommaire: Systems Development.- Translating a Large Subset of State ow to Hybrid CSP with Code Optimization.- DeepGlobal: a Global Robustness Verifiable FNN Framework.- Leveraging Event-B Theories for handling domain knowledge in design models.- Program Analysis and Verification.- Reasoning about Iteration and Recursion Uniformly based on Big-step Semantics.- Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture based on UTP.- Formal Analysis of 5G AKMA.- Verifying the Correctness of Distributed Systems via Mergeable Parallelism.- Testing and Fault Detection.- Mutation Testing of Reinforcement Learning Systems.- AIdetectorX: A Vulnerability Detector based on TCN and Self-attention Mechanism.- MC/DC Test Cases Generation based on BDDs.- Software Quality.- Predicting and Monitoring Bug-proneness at The Feature Level.- CSFL: Fault Localization on Real Software Bugs Based on the Combination of Context and Spectrum.- A Distributed Simplex Architecture for Multi-Agent Systems.- Satisfiability, Reachability and Model Checking.- OURS: Over- and Under-Approximating Reachable Sets for Analytic Time-invariant Differential Equations.- ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas.- API Usage Pattern Search Based on Model Checking.
Détails de conformité du produit
Personne responsable dans l'UE