A Process Algebraic Approach to Software Architecture Design - Aldini, Alessandro
- Format: Relié
- 304 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreNos autres offres
-
36,33 €
Produit Neuf
Ou 9,08 € /mois
- Livraison à 0,01 €
- Livré entre le 5 et le 8 août
Livre de poche,Expédition depuis la Chine; Livraison sous 8-12 jours
-
68,23 €
Occasion · Comme Neuf
Ou 17,06 € /mois
- Livraison : 25,00 €
- Protection acheteurs :
- 0,00 €
Service client à l'écoute et une politique de retour sans tracas - Livraison des USA en 3 a 4 semaines (2 mois si circonstances exceptionnelles) - La plupart de nos titres sont en anglais, sauf indication contraire. N'hésitez pas à nous envoyer un e-... Voir plus -
87,80 €
Produit Neuf
Ou 21,95 € /mois
- Livraison : 25,00 €
- Livré entre le 11 et le 16 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.
- 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 A Process Algebraic Approach To Software Architecture Design Format Relié - Livre Informatique
0 avis sur A Process Algebraic Approach To Software Architecture Design Format Relié - Livre Informatique
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Isamu Noguchi: Space Of Akari And Stone
Occasion dès 30,00 €
-
Becoming Disfarmer
Occasion dès 23,00 €
-
Building With Straw Bales: A Practical Manual For Self-Builders And Architects Volume 6
Neuf dès 39,76 €
-
Voyages En Van - 100 Itinéraires En France Et En Europe - Exclu Fnac
Occasion dès 37,95 €
-
The Vocabulary Guide - Les Mots Anglais Et Leur Emploi
Neuf dès 20,50 €
Occasion dès 27,00 €
-
Dave Pelz's Short Game Bible
Neuf dès 53,97 €
Occasion dès 34,99 €
-
Cambridge Igcse® First Language English Coursebook
Occasion dès 19,99 €
-
Sefer Yetzirah (En Français) - Le Livre De La Création - Par William Wynn Westcott: Avec Les 32 Voies De La Sagesse, Les 50 Portes De L'intelligence, Commentaires Et Illustrations De L'auteur
Occasion dès 31,99 €
-
Indian Villages Of The Southwest
Occasion dès 20,00 €
-
Grecs En Occident De L'age Mycénien À La Fin L'héllenisme
Occasion dès 25,00 €
-
Fun For Flyers Student's Book + Home Fun Booklet - Pack En 2 Volumes
Neuf dès 23,87 €
Occasion dès 37,89 €
-
Libres D'obéir - Le Management, Du Nazisme À Aujourd'hui
28 avis
Neuf dès 17,00 €
Occasion dès 15,40 €
-
Joi Travalh E Soufransa De Ma Gent Biografie Di Anziani Delle Valli Cluuzoun E Sanmartin
Occasion dès 34,00 €
-
Chamäleon : La Grammaire Allemande Sur Le Bout De La Langue - 137 Rappels, 323 Exercices Et Corrigés
1 avis
Neuf dès 22,40 €
-
Lexique Bilingue De La Mode Français-Anglais Et Anglais-Français
1 avis
Occasion dès 20,00 €
-
The Jewelers Of The Ummah
Neuf dès 39,09 €
-
Le Mot & L'idée Anglais 2 - Vocabulaire Thématique
7 avis
Neuf dès 18,00 €
-
Stanley Donwood: There Will Be No Quiet
Neuf dès 34,80 €
-
Musculoskeletal Mri
Neuf dès 44,61 €
-
Trail Guide To The Body
Neuf dès 44,61 €
Produits similaires
Présentation A Process Algebraic Approach To Software Architecture Design Format Relié
- Livre InformatiqueAuteur(s) : Aldini, Alessandro - Bernardo, Marco - Corradini, FlavioEditeur : Springer-Verlag London Ltd.Langue : AnglaisParution : 01/11/2009Format : Moyen, de 350g à 1kgNombre de pages :...
Résumé :
Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP, ?-calculus, and their extensions (see, e.g., [154,119,112,22,155,181,30]) were soon used also for comprehendingfunctionaland nonfunctionalaspects of the behaviorof com- nicating concurrent systems. The scienti?c impact of process calculi and behavioral equivalences at the base of process algebra is witnessed not only by a very rich literature. It is in fact worth mentioningthe standardizationprocedurethat led to the developmentof the process algebraic language LOTOS [49], as well as the implementation of several modeling and analysis tools based on process algebra, like CWB [70] and CADP [93], some of which have been used in industrial case studies. Furthermore, process calculi and behavioral equivalencesare by now adopted in university-levelcourses to teach the foundations of concurrent programming as well as the model-driven design of concurrent, distributed, and mobile systems. Nevertheless, after 30 years since its introduction, process algebra is rarely adopted in the practice of software development. On the one hand, its technica- ties often obfuscate the way in which systems are modeled. As an example, if a process term comprises numerous occurrences of the parallel composition operator, it is hard to understand the communicationscheme among the varioussubterms. On the other hand, process algebra is perceived as being dif?cult to learn and use by practitioners, as it is not close enough to the way they think of software systems.
Sommaire:
Part I: Process Calculi and Behavioral Equivalences Process Algebra Deterministically Timed Process Algebra Stochastically Timed Process Algebra Part II: Process Algebra for Software Architecture Component-Oriented Modeling Component-Oriented Functional Verification Component-Oriented Performance Evaluation Trading Dependability and Performance References Index
Détails de conformité du produit
Personne responsable dans l'UE