Fundamental Approaches to Software Engineering -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre69,36 €
Produit Neuf
Ou 17,34 € /mois
- Livraison : 3,99 €
- Livré entre le 29 juillet et le 4 août
Nos autres offres
-
73,35 €
Produit Neuf
Ou 18,34 € /mois
- Livraison à 0,01 €
- Livré entre le 30 juillet et le 11 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783030714994_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 Fundamental Approaches To Software Engineering Format Broché - Livre Informatique
0 avis sur Fundamental Approaches To Software Engineering Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Die Luzerner Chronik Des Diebold Schilling, Aus Dem Jahre 1513
Occasion dès 49,50 €
-
Monster Hunter: World - Official Complete Works
1 avis
Neuf dès 58,42 €
-
Environmental Psychology
Neuf dès 66,26 €
-
Sartor Resartus - La Philosophie Du Vêtement Carlyle
Occasion dès 50,00 €
-
Cambridge English Skills Real Listening And Speaking 1 With Answers And Audio Cd
1 avis
Occasion dès 48,07 €
-
Refocus: The Films Of Doris Wishman
Neuf dès 46,03 €
-
Saab 95 & 96 Petrol (66 - 76) Haynes Repair Manual
Neuf dès 48,46 €
-
Saab 9-3 Petrol & Diesel (98 - Aug 02) Haynes Repair Manual
Neuf dès 40,25 €
-
Sacred Art Of Nepal
Neuf dès 42,91 €
-
Tout Le Programme D'espagnol Des Années Collège : Méthode Intégrale - Grammaire, Conjugaison, Vocabulaire, Expression
1 avis
Neuf dès 40,99 €
-
Bible Thompson, Version Colombe, Rigide, Verte, Onglets
Occasion dès 47,50 €
-
Problems, Volume Ii
Neuf dès 37,44 €
-
The American Ephemeris For The 21st Century, 2000-2050 At Midnight
Neuf dès 41,27 €
-
The Shock Of The Ancient
Neuf dès 79,73 €
-
Mucuna Vademecum: Guide D'utilisation Dans La Maladie De Parkinson
Neuf dès 34,98 €
-
Le Jour Où Je Me Suis Rencontrée: Contrôle Alt Zèbre (French Edition)
Occasion dès 36,77 €
-
A Dream Of Wessex (Valancourt 20th Century Classics)
Neuf dès 39,82 €
-
Quantum Mechanics. Third Edition
Occasion dès 40,00 €
-
Project Management For Engineers
Neuf dès 69,48 €
-
Collection Entremets & Petits Gâteaux
1 avis
Occasion dès 49,89 €
Produits similaires
Présentation Fundamental Approaches To Software Engineering Format Broché
- Livre Informatique
Résumé :
This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27-April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic.
Sommaire:
FASE Contributions.- On Benchmarking for Concurrent Runtime Verification.- Certified Abstract Cost Analysis.- Bootstrapping Automated Testing for RESTful Web Services.- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features.- Finding a Universal Execution Strategy for Model Transformation Networks.- CoVEGI: Cooperative Veri cation via Externally Generated Invariants.- Engineering Secure Self-Adaptive Systems with Bayesian Games.- An Abstract Contract Theory for Programs with Procedures.- Paracosm: A Test Framework for Autonomous Driving Simulations.- Compositional Analysis of Probabilistic Timed Graph Transformation Systems.- Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds.- Effects of Program Representation on Pointer Analyses - An Empirical Study.- Keeping Pace with the History of Evolving Runtime Models.- SpecTest: Specification-Based Compiler Testing.- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems.- Understanding Local Robustness of Deep Neural Networks under Natural Variations.- Test-Comp Contributions.- Status Report on Software Testing: Test-Comp 2021.- CoVeriTest with Adaptive Time Scheduling (Competition Contribution).- FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution).- Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution)....
Détails de conformité du produit
Personne responsable dans l'UE