Formal Methods for Executable Software Models -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre53,34 €
Occasion · Comme Neuf
Ou 13,34 € /mois
- Livraison : 0,00 €
- Livré entre le 18 et le 27 avril
Nos autres offres
-
88,49 €
Produit Neuf
Ou 22,12 € /mois
- Livraison : 25,00 €
- Livré entre le 27 avril et le 2 mai
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.
- 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 Executable Software Models Format Broché - Livre Informatique
0 avis sur Formal Methods For Executable Software Models Format Broché - Livre Informatique
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Dragon Quest 8 - Guide Stratégique Officiel
23 avis
Occasion dès 42,15 €
-
Finance For Executives
Occasion dès 30,00 €
-
Maison Ikkoku Art Collection
6 avis
Occasion dès 35,00 €
-
In The American West 40th Anniversary Edition
Neuf dès 80,00 €
Occasion dès 194,68 €
-
Rehab Science: How To Overcome Pain And Heal From Injury
Neuf dès 58,00 €
-
Bill Brandt: Shadow & Light
Occasion dès 63,67 €
-
Larousse Menager Illustre 1926
Occasion dès 50,00 €
-
Helen Levitt
Neuf dès 49,70 €
Occasion dès 44,00 €
-
Karsh: A Biography In Images
Neuf dès 44,20 €
Occasion dès 42,57 €
-
Medardo Rosso: The Transient Form
Occasion dès 43,95 €
-
Introduction To Linear And Matrix Algebra
Occasion dès 43,61 €
-
The Lives Of Working Class Academics
Neuf dès 43,34 €
-
The Collected Poems Of Kenneth Koch
Neuf dès 47,65 €
-
Anglais - La Méthode Michel Thomas, Débutants Et Faux Débutants (7 Cd Audio)
6 avis
Neuf dès 75,00 €
Occasion dès 33,08 €
-
A Complete Set Of Khajuraho Sculpture
Occasion dès 30,90 €
-
Mission To Tibet: The Extraordinary Eighteenth-Century Account Of Father Ippolito Desideri S. J.
Neuf dès 39,24 €
Occasion dès 55,99 €
-
Writing The Book Of The World
Neuf dès 43,22 €
-
The Essential Guide To Color Knitting Techniques
Occasion dès 46,53 €
-
Frederic Bazille And The Birth Of Impressionism
1 avis
Neuf dès 44,66 €
-
Rethinking Metaphysics
Neuf dès 40,13 €
Produits similaires
Présentation Formal Methods For Executable Software Models Format Broché
- Livre Informatique
Résumé :
This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2014, held in Bertinoro, Italy, in June 2014. SFM 2014 was devoted to executable software models and covered topics such as variability models, automated analysis techniques, deductive verification, and runtime assessment and testing. The papers collected in the two parts (first part: modeling and verification; second part: run-time assessment and testing) of this volume represent the broad range of topics of the school.
Sommaire: Analysis of Executable Software Models.-?Deadlock Detection in Linear Recursive Programs.-?Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey.-?Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms.-?Verification of Concurrent Systems with VerCors.- Combining Monitoring with Run-Time Assertion Checking.-?Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency.-?Model-Based Testing.
Détails de conformité du produit
Personne responsable dans l'UE