80,20 €
Produit Neuf
Ou 20,05 € /mois
- Livraison à 0,01 €
- Livré entre le 25 août et le 10 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783642324680_dbm
Nos autres offres
-
74,97 €
Produit Neuf
Ou 18,74 € /mois
- Livraison : 3,99 €
- Livré entre le 25 août et le 1 septembre
Voir le détail de l'annonce -
80,20 €
Produit Neuf
Ou 20,05 € /mois
- Livraison à 0,01 €
- Livré entre le 25 août et le 10 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783642324680_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 Formal Methods For Industrial Critical Systems Format Broché - Livre Informatique
0 avis sur Formal Methods For Industrial Critical Systems Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Nkjv Study Bible, Leathersoft, Brown, Comfort Print
Neuf dès 73,27 €
-
Design For Motion
Neuf dès 104,46 €
-
Ellen Von Unwerth: Revenge
1 avis
Neuf dès 56,17 €
-
Méthode Assimil Espagnol 4cd Et 1 Livre
Occasion dès 56,00 €
-
Book Of The Nsu Prima 1956-1964 Prima D - V - Iii - Iiik -
Neuf dès 48,74 €
-
Der Mythus Des Zwangzigsten Jahrhunderts
Occasion dès 49,00 €
-
Ugaritic Narrative Poetry
Neuf dès 42,02 €
-
Elvis Presley On Tour Livre Usa 120 Pages 240 Photos Inedites ! Rare!
Occasion dès 59,00 €
-
Jimmy Corrigan
Neuf dès 41,25 €
Occasion dès 64,22 €
-
The Philosophy Of Grammar
Neuf dès 46,66 €
-
Xbox Series X : (J)
Neuf dès 43,99 €
-
Georg Baselitz
Neuf dès 137,45 €
Occasion dès 91,61 €
-
Complete Swedish Beginner To Intermediate Course
1 avis
Neuf dès 49,73 €
-
Alinea
1 avis
Occasion dès 55,00 €
-
Flight Attendants
Occasion dès 40,99 €
-
Mathématiques 1re S Et E : Géométrie Et Statistiques (Collection Terracher)
2 avis
Occasion dès 46,96 €
-
Des Bienfaits, 2 Tomes
1 avis
Occasion dès 45,80 €
-
Michael Kenna: Silver Haikus
3 avis
Neuf dès 52,52 €
-
Les Outils Dans Les Balkans Du Moyen Âge À Nos Jours
Occasion dès 50,00 €
-
Communion
Neuf dès 44,71 €
Produits similaires
Présentation Formal Methods For Industrial Critical Systems Format Broché
- Livre Informatique
Résumé :
This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. The 14 papers presented were carefully reviewed and selected from 37 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
Sommaire: Real-Time Specification Patterns and Tools.- Automated Extraction of Abstract Behavioural Models from JMS Applications.- Certifying and Reasoning on Cost Annotations in C Programs.-??Waiting for Locks: How Long Does It Usually Take?.- Microcontroller Assembly Synthesis from Timed Automaton Task Specifications.-?Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs.- Range Analysis of Binaries with Minimal Effort.- Combining Analyses for C Program Verification.- Model Checking the FlexRay Startup Phase.- Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore Operations.- Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis.-??Optimizing the Robustness of Software against Communication Latencies in Distributed Reactive Embedded Systems.- A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in Java.- Checking Properties Described by State Machines: OnSynergy of Instrumentation, Slicing, and Symbolic Execution.??
Détails de conformité du produit
Personne responsable dans l'UE