Nos autres offres
-
67,08 €
Produit Neuf
Ou 16,77 € /mois
- Livraison : 3,99 €
- Livré entre le 29 juillet et le 4 août
Voir le détail de l'annonce -
89,06 €
Produit Neuf
Ou 22,27 € /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;ria9783642407864_dbm
Voir le détail de l'annonce -
90,18 €
Produit Neuf
Ou 22,55 € /mois
- Livraison : 25,00 €
- Livré entre le 12 et le 17 août
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
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 Runtime Verification Format Broché - Livre Informatique
0 avis sur Runtime Verification Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
New Headway Pre-Intermediate - Student's Book
1 avis
Occasion dès 2,56 €
-
Collection " England" Par A.Laffay & H. Kerst Iv Classes De Troisième
Occasion dès 4,40 €
-
Les Bisounours. La Sorcière Du Bour De La Rue.
Neuf dès 6,49 €
Occasion dès 3,74 €
-
Vocabulaire Thématique Anglais-Français - Le Monde D'aujourd'hui - Société, Environnement, Économie, Politique, Technologie, Santé
8 avis
Occasion dès 3,74 €
-
Beowulf
1 avis
Neuf dès 28,79 €
Occasion dès 4,00 €
-
The Elizabethan World Picture
Occasion dès 2,20 €
-
Dry White Season
1 avis
Neuf dès 25,95 €
Occasion dès 3,74 €
-
The Handmaid's Tale
2 avis
Neuf dès 25,95 €
Occasion dès 2,75 €
-
Freiburg Und Die Regio
Neuf dès 3,19 €
Occasion dès 8,39 €
-
Well Done ! - Entraînement À La Compréhension Écrite Et À La Lecture En Anglais Niveau 2
Neuf dès 12,50 €
Occasion dès 3,39 €
-
Emma
1 avis
Neuf dès 24,83 €
Occasion dès 2,02 €
-
La Société Britannique À Travers La Presse Populaire
Neuf dès 14,50 €
Occasion dès 1,75 €
-
Lexique Travaux Paysagers Français-Anglais
1 avis
Occasion dès 2,20 €
-
The Man Who Would Be King And Other Short Stories : L'homme Qui Voulait Etre Roi Et Autres Nouvelles
1 avis
Occasion dès 1,90 €
-
The Mill On The Floss
1 avis
Occasion dès 2,98 €
-
Burning Issues - Vocabulaire Anglais De L'actualité
1 avis
Neuf dès 19,50 €
Occasion dès 3,69 €
-
Grand Dictionnaire Francais/Anglais-Anglais/Francais - Tome 1, Français/Anglais
Occasion dès 3,74 €
-
Royal Assassin
1 avis
Occasion dès 3,58 €
-
Dandelot: Etude Du Rythme Volume 2
Occasion dès 3,80 €
-
L'italien Pour Tous
10 avis
Neuf dès 12,99 €
Occasion dès 3,50 €
Produits similaires
Présentation Runtime Verification Format Broché
- Livre Informatique
Résumé :
A Test Platform for Monitoring Tools.- SPY: Local Verification of Global Protocols.- Tutorials.- Instrumenting Android and Java Applications as Easy as abc.- On Signal Temporal Logic.- Runtime Verification and Refutation for Biological Systems.- A Lesson on Runtime Assertion Checking with Frama-C.- With Real-time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures.- Dynamic Analysis and Debugging of Binary Code for Security Applications.
Sommaire:
Invited Papers.- Executing Specifications using Synthesis and Constraint Solving.- Runtime Verification with Data.- Programming Without Borders.- Regular Papers.- Informative Types and Effects for Hybrid Migration Control.- Monitoring of Temporal First-order Properties with Aggregations.- From propositional to first-order monitoring.- Right-Universality of Visibly Pushdown Automata.- Distributed Finite-State Runtime Monitoring with Aggregated Events.- Synthesising Correct Concurrent Runtime Monitors (Extended Abstract).- Practical interruptible conversations: Distributed dynamic verification with session types and Python.- Runtime Verification with Particle Filtering.- An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs.- Impartiality and Anticipation for Monitoring of Visibly Context-free Properties.- Accelerating Data Race Detection Utilizing On-chip Data-parallel Cores.- Efficient Model to Query and Visualize the System States Extracted from Trace Data.- Repair Abstractions for More Efficient Data Structure Repair.- To Run What No One Has Run Before: Executing an Intermediate Verification Language.- Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations.- A Causality Analysis Framework for Component-based Real-time Systems.- Reducing Monitoring Overhead by Integrating Event- and Time-triggered Techniques.- Short Papers.- A Scala DSL for Rete-based Runtime Verification.- A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools.- Towards a generic non-intrusive fault detection framework.- A Witnessing Compiler: A Proof of Concept.- Runtime Monitoring of Temporal Logic Properties in a Platform Game.- Tool Papers.- SMock
Détails de conformité du produit
Personne responsable dans l'UE