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 28 juillet et le 3 août
Nos autres offres
-
73,35 €
Produit Neuf
Ou 18,34 € /mois
- Livraison à 0,01 €
- Livré entre le 29 juillet et le 10 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783030994280_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 €
-
The Complete Beatles Recording Sessions
Occasion dès 35,00 €
-
The Shock Of The Ancient
Neuf dès 79,73 €
-
The Everyman Chesterton
Neuf dès 38,84 €
-
Collection Entremets & Petits Gâteaux
1 avis
Occasion dès 49,89 €
-
Poetry In Stitches - Clothes You Can Knit
Occasion dès 50,00 €
-
Monster Hunter: World - Official Complete Works
1 avis
Neuf dès 58,42 €
-
Environmental Psychology
Neuf dès 63,50 €
-
Les Trains Blindes: De 1825 À Nos Jours
2 avis
Neuf dès 64,00 €
-
Bilingue 2000 - Lexique Thématique De L'italien Contemporain, Lessico Tematico Del Francese Contemporaneo
2 avis
Occasion dès 39,05 €
-
Dahmane
6 avis
Occasion dès 39,98 €
-
Cambridge English Skills Real Listening And Speaking 1 With Answers And Audio Cd
1 avis
Occasion dès 48,07 €
-
Rise Up Women!
Neuf dès 36,76 €
-
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 €
-
Invasion Usa
Neuf dès 42,78 €
-
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 €
-
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 €
Produits similaires
Présentation Fundamental Approaches To Software Engineering Format Broché
- Livre Informatique
Résumé :
FASE Contributions.- Information-flow Interfaces.- A Survey-Based Feature Model for Software Traceability.- Construction of Veri er Combinations Based on Off-the-Shelf Verifiers.- On the Detection of Doped Software by Falsification.- Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing.- Quantitative Program Sketching using Lifted Static Analysis.- SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning.- Finding Semantic Bugs Fast.- SMC4PEP: Stochastic Model Checking of Product Engineering Processes.- Symbolic Predictive Cache Analysis for Out-of-Order Execution.- PEQtest: Testing Functional Equivalence.- An Institutional Approach to Communicating UML State Machines.- Semantic Code Search in Software Repositories using Neural Machine Translation.- AequeVox: Automated Fairness Testing of Speech Recognition Systems.- SMT-Based Planning Synthesis for Distributed System Reconfigurations.- Semantic Clone Detection via Probabilistic Software Modeling.- QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants.- Test-Comp Contributions.- Advances in Automatic Software Testing: Test-Comp 2022.- FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing (Competition Contribution).- VeriFuzz: Good Seeds for Fuzzing (Competition Contribution)....
Sommaire:
FASE Contributions.- Information-flow Interfaces.- A Survey-Based Feature Model for Software Traceability.- Construction of Veri er Combinations Based on Off-the-Shelf Verifiers.- On the Detection of Doped Software by Falsification.- Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing.- Quantitative Program Sketching using Lifted Static Analysis.- SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning.- Finding Semantic Bugs Fast.- SMC4PEP: Stochastic Model Checking of Product Engineering Processes.- Symbolic Predictive Cache Analysis for Out-of-Order Execution.- PEQtest: Testing Functional Equivalence.- An Institutional Approach to Communicating UML State Machines.- Semantic Code Search in Software Repositories using Neural Machine Translation.- AequeVox: Automated Fairness Testing of Speech Recognition Systems.- SMT-Based Planning Synthesis for Distributed System Reconfigurations.- Semantic Clone Detection via Probabilistic Software Modeling.- QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants.- Test-Comp Contributions.- Advances in Automatic Software Testing: Test-Comp 2022.- FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing (Competition Contribution).- VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).
Détails de conformité du produit
Personne responsable dans l'UE