102,91 €
Produit Neuf
Ou 25,73 € /mois
- Livraison : 3,99 €
- Livré entre le 21 et le 27 août
- 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 Engineering And Formal Methods Format Broché - Livre Littérature Générale
0 avis sur Software Engineering And Formal Methods Format Broché - Livre Littérature Générale
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Elvis Presley On Tour Livre Usa 120 Pages 240 Photos Inedites ! Rare!
Occasion dès 59,00 €
-
The Evolution Of Complexity By Means Of Natural Selection
Neuf dès 136,68 €
-
Alinea
1 avis
Occasion dès 55,00 €
-
Michael Kenna: Silver Haikus
3 avis
Neuf dès 52,52 €
-
Last Resort: Photographs Of New Brighton
Occasion dès 139,90 €
-
L'italien B2 - Pack Avec 1 Livre (3 Cd Audio)
1 avis
Neuf dès 65,90 €
Occasion dès 191,71 €
-
Essential Grammar In Use - Une Grammaire De Référence Et De Pratique Destinée Aux Étudiants De Niveau Élémentaire
7 avis
Neuf dès 72,30 €
Occasion dès 80,00 €
-
Ellen Von Unwerth. Heimat
Neuf dès 98,04 €
-
Porsche Racing Cars
Neuf dès 102,94 €
-
Collection Entremets & Petits Gâteaux
1 avis
Occasion dès 69,00 €
-
The Palgrave Handbook Of The Southern Gothic
Neuf dès 55,22 €
-
Privatisation In India
Neuf dès 53,38 €
-
Superman & Batman: Generations Omnibus
Neuf dès 84,18 €
-
Dc Finest: Superman: Kryptonite Nevermore
Neuf dès 53,91 €
-
Dictionnaire Chinois - Anglais
Occasion dès 99,00 €
-
Los Hermanos Karamazov
Neuf dès 62,17 €
-
Diane Arbus: An Aperture Monograph
Occasion dès 51,99 €
-
La Mort De Radiguet. Yukio Mishima. Bilingue. Gallimard. Traduit Du Japonais Par Dominique Palme.(2012)
2 avis
Occasion dès 57,00 €
-
La Meute De Chânais Tome 9 (Le Dernier Tome De La Saga D'une Meute Pas Comme Les Autres !): Duncan - L'accusation
Occasion dès 63,90 €
-
Nosql And Sql Data Modeling
Neuf dès 58,26 €
Produits similaires
Présentation Software Engineering And Formal Methods Format Broché
- Livre Littérature Générale
Résumé : Refinements for Open Automata.- The Cubicle Fuzzy Loop : A Fuzzing-Based Extension for the Cubicle Model Checker.- Guiding Symbolic Execution with A-star.- Robustness Testing of Software Verifiers.- Decoupled Fitness Criteria for Reactive Systems.- Capturing Smart Contract Design with DCR Graphs.- An Active Learning Approach to Synthesizing Program Contracts.- Ranged Program Analysis via Instrumentation.- Attack time analysis in dynamic attack trees via integer linear programming.- SSCalc A Calculus for Solidity Smart Contracts.- ATM: a Logic for Quantitative Security Properties on Attack Trees.- Refactoring of Multi-Instance BPMN Processes with Time and Resources.- Verified Scalable Parallel Computing with Why3.- Exact and Efficient Bayesian Inference for Privacy Risk Quantification.- A Formalization of Heisenbugs and Their Causes.- Verifying Read-Copy Update under RC11.- QNNRepair: Quantized Neural Network Repair.- Timeout Prediction for Software Analyses.- PART ...
Sommaire:
Tool Papers.- PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking.
Détails de conformité du produit
Personne responsable dans l'UE