Dependable Software Engineering. Theories, Tools, and Applications -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre83,38 €
Produit Neuf
Ou 20,85 € /mois
- Livraison : 3,99 €
- Livré entre le 20 et le 24 avril
Nos autres offres
-
88,45 €
Produit Neuf
Ou 22,11 € /mois
- Livraison à 0,01 €
- Livré entre le 20 et le 27 avril
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783030912642_dbm
-
88,83 €
Produit Neuf
Ou 22,21 € /mois
- Livraison à 0,01 €
Expédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
-
112,16 €
Produit Neuf
Ou 28,04 € /mois
- Livraison : 5,00 €
- Livré entre le 20 et le 23 avril
Exp¿di¿ en 7 jours ouvr¿s
-
140,99 €
Occasion · Comme Neuf
Ou 35,25 € /mois
- Livraison : 25,00 €
- Livré entre le 27 avril et le 5 mai
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
- 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
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Ephemerides 1950-2050 Ut For 0h International Edition
17 avis
Occasion dès 44,95 €
-
Essential Ottolenghi [Special Edition, Two-Book Boxed Set]
Neuf dès 84,03 €
-
Journal Romain: 1985 - 1986
Occasion dès 63,82 €
-
Le Cul De La Femme - Une Collection De Portraits De Pierre Louÿs (1892-1914)
5 avis
Occasion dès 69,00 €
-
Precis De Droit Constitutionnel
Occasion dès 45,80 €
-
Mesoscale Meteorology In Midlatitudes
Neuf dès 101,19 €
Occasion dès 91,98 €
-
Plants Of The Quran
Neuf dès 44,66 €
-
Prose E Saggi
Occasion dès 44,15 €
-
Civil Operations / Zivile Operationen / Walter Niedermayr
Occasion dès 49,56 €
-
Practical Astronomy With Your Calculator Or Spreadsheet
Neuf dès 43,78 €
-
Falkland Road
Neuf dès 83,87 €
-
Rehab Science: How To Overcome Pain And Heal From Injury
Neuf dès 58,00 €
-
Stranger Things: The Ultimate Pop-Up Book (Reinhart Pop-Up Studio)
Neuf dès 67,68 €
-
Monster Hunter Illustrations 2 (Hardcover)
Neuf dès 69,84 €
Occasion dès 69,00 €
-
The Acme Novelty Date Book
1 avis
Neuf dès 47,60 €
Occasion dès 62,02 €
-
Marvel Vs Capcom: Ultimate Complete Works
Neuf dès 75,86 €
-
Interbeing, 4th Edition
Neuf dès 63,99 €
-
Ontogeny And Phylogeny
Occasion dès 51,99 €
-
Medardo Rosso: The Transient Form
Occasion dès 43,95 €
-
Life - 100 Photographs That Changed The World
Occasion dès 76,99 €
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