Lectures on Formal Methods and Performance Analysis -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre5,35 €
Occasion · Très Bon État
LIVRAISON RAPIDE
Ce vendeur propose la livraison entre 3 et 5 jours
- Livraison GRATUITE
- Livré entre le 22 et le 24 juillet
Livré gratuitement chez vous en 2 semaines. Article presque inutilisé, absence presque totale de traces d'utilisation. 2 millions de ventes réalisées en 5 ans, merci de votre confiance ! Découvrez les avis...
Nos autres offres
-
84,57 €
Produit Neuf
Ou 21,14 € /mois
- Livraison : 3,99 €
- Livré entre le 25 et le 31 juillet
Voir le détail de l'annonce -
92,42 €
Produit Neuf
Ou 23,11 € /mois
- Livraison à 0,01 €
- Livré entre le 27 juillet et le 8 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540424796_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 Lectures On Formal Methods And Performance Analysis Format Broché - Livre Informatique
0 avis sur Lectures On Formal Methods And Performance Analysis Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
The Caretaker
5 avis
Occasion dès 2,98 €
-
Hymnes
Occasion dès 7,60 €
-
The Legend Of Korra: Turf Wars Part One
Neuf dès 13,52 €
Occasion dès 8,01 €
-
Détours Et Retours - Joyce Et "Ulysses
Occasion dès 7,95 €
-
The Pearl Sister
1 avis
Neuf dès 11,50 €
Occasion dès 7,75 €
-
Burning Issues - Vocabulaire Anglais De L'actualité
1 avis
Neuf dès 19,50 €
Occasion dès 3,69 €
-
The Very Hungry Caterpillar
4 avis
Occasion dès 4,00 €
-
Anglais 4e A2>B1 Try N? Fly
Occasion dès 8,00 €
-
Bescherelle Les Verbes Espagnols (Spanish Edition)
1 avis
Occasion dès 8,00 €
-
The Vocabulary Guide - Les Mots Anglais Et Leur Emploi
Occasion dès 5,49 €
-
From Head To Toe
5 avis
Occasion dès 7,00 €
-
Grand Dictionnaire Francais/Anglais-Anglais/Francais - Tome 1, Français/Anglais
Occasion dès 3,74 €
-
Fiches De Civilisation Américaine Et Britannique
3 avis
Occasion dès 5,49 €
-
The Kaiju Preservation Society
1 avis
Neuf dès 13,98 €
Occasion dès 8,02 €
-
Bescherelle Italien - Le Vocabulaire
6 avis
Neuf dès 11,50 €
Occasion dès 5,00 €
-
The Tempest
Neuf dès 22,87 €
Occasion dès 5,50 €
-
Mindset
1 avis
Neuf dès 17,73 €
Occasion dès 7,70 €
-
The Grammar Guide, Anglais
Neuf dès 20,90 €
Occasion dès 5,49 €
-
The World Of Cycling According To G
Neuf dès 4,30 €
Occasion dès 3,74 €
-
Le Paysage Ou Les Reliefs Du Texte - Du Paysage Naturel Au Paysage Urbain : Au-Delà Du Paradis - En Deçà De L'enfer ?
Occasion dès 3,64 €
Produits similaires
Présentation Lectures On Formal Methods And Performance Analysis Format Broché
- Livre Informatique
Résumé :
Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pendability) aspects, have been studied by di?erent research communities. This has resulted in the development of successful, but distinct and largely unrelated modeling and analysis techniques for both domains. In many modern systems, however, the di?erence between their functional features and their performance properties has become blurred, as relevant functionalities become inextricably linked to performance aspects, e.g. isochronous data transfer for live video tra- mission. During the last decade, this trend has motivated an increased interest in c- bining insights and results from the ?eld of formal methods ? traditionally - cused on functionality ? with techniques for performance modeling and analysis. Prominent examples of this cross-fertilization are extensions of process algebra and Petri nets that allow for the automatic generation of performance models, the use of formal proof techniques to assess the correctness of randomized - gorithms, and extensions of model checking techniques to analyze performance requirements automatically. We believe that these developments markthe - ginning of a new paradigm for the modeling and analysis of systems in which qualitative and quantitative aspects are studied from an integrated perspective. We are convinced that the further worktowards the realization of this goal will be a growing source of inspiration and progress for both communities.
Sommaire:
Formal Methods for Performance Evaluation.- Markovian Models for Performance and Dependability Evaluation.- to Stochastic Petri Nets.- Non-Markovian Analysis.- Process Algebra and Markov Chains.- Verification of Randomized Distributed Algorithms.- Constructing Automata from Temporal Logic Formulas: A Tutorial?.- Exploiting Structure in Solution: Decomposing Compositional Models.- Stochastic Activity Networks: Formal Definitions and Concepts?.- Distributed and Structured Analysis Approaches to Study Large and Complex Systems?.- General Distributions in Process Algebra.
Détails de conformité du produit
Personne responsable dans l'UE