Process Algebras for Petri Nets - Roberto Gorrieri
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre130,01 €
Produit Neuf
Ou 32,50 € /mois
- Livraison à 0,01 €
- Livré entre le 6 et le 18 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783319856940_dbm
Nos autres offres
-
126,02 €
Produit Neuf
Ou 31,51 € /mois
- Livraison : 3,99 €
- Livré entre le 5 et le 11 août
Voir le détail de l'annonce -
130,01 €
Produit Neuf
Ou 32,50 € /mois
- Livraison à 0,01 €
- Livré entre le 6 et le 18 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783319856940_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 Process Algebras For Petri Nets de Roberto Gorrieri Format Broché - Livre Littérature Générale
0 avis sur Process Algebras For Petri Nets de Roberto Gorrieri Format Broché - Livre Littérature Générale
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Dynamo 1 Workbook A (Pack Of 8)
Neuf dès 68,20 €
-
Cyanotype
Neuf dès 90,31 €
-
The New Munsell Student Color Set
Neuf dès 125,62 €
-
Oxford Resources For Ib Dp Chemistry: Course Book
Neuf dès 102,33 €
-
The Shock Of The Ancient
Neuf dès 79,73 €
-
Microeconomics, Global Edition
Neuf dès 151,23 €
Occasion dès 95,51 €
-
A History Of Modern Europe
Neuf dès 66,61 €
-
Soft Power And Great-Power Competition
Neuf dès 68,02 €
-
The Art Of Jewelry Design
1 avis
Neuf dès 76,78 €
Occasion dès 66,00 €
-
The Lord Of The Rings
Neuf dès 183,21 €
-
Supergirl: The New 52 Omnibus Vol. 1
Neuf dès 125,26 €
-
Configuring Sap S/4hana Finance
Neuf dès 105,05 €
-
Financial & Managerial Accounting Ise
Neuf dès 104,72 €
-
Bruegel. The Complete Works
Neuf dès 80,00 €
-
In The American West 40th Anniversary Edition
1 avis
Neuf dès 79,00 €
Occasion dès 199,00 €
-
The Art Of The Last Of Us Part Ii Deluxe Edition
1 avis
Neuf dès 114,17 €
Occasion dès 139,89 €
-
How Children Develop
Neuf dès 113,65 €
-
Electric Op
Neuf dès 74,68 €
Occasion dès 70,00 €
-
Ocp Oracle Certified Professional Java Se 21 Developer Study Guide
Neuf dès 80,92 €
-
Menschen Des 20. Jahrhunderts
Neuf dès 159,37 €
Occasion dès 97,48 €
Produits similaires
Présentation Process Algebras For Petri Nets de Roberto Gorrieri Format Broché
- Livre Littérature Générale
Résumé :
This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems. Hence, the contribution of this book amounts to the alphabetization of some classes of distributed systems. The book also suggests the need for a generalization of Turing computability theory. It is important for graduate students and researchers engaged with the concurrent semantics of distributed communicating systems. The author assumes some prior knowledge of formal languages and theoretical computer science.
Biographie:
Roberto Gorrieri is a professor in the Universit? di Bologna. His research and teaching interests include theoretical computer science, particularly concurrency, the foundations of software engineering, and the foundations of security. He coauthored the textbook Introduction to Concurrency Theory: Transition Systems and CCS in 2015, and he has authored over 140 formal academic publications. He received his PhD in Computer Science from the Universit? di Pisa....
Sommaire: Introduction.- Transition Systems.- Petri Nets.- The Basic Calculus: SFM.- Adding Asynchronous Parallel Composition: CFM and BPP.- Adding Communication and Restriction: FNC.- Adding Multi-party Communication: FNM.- Adding Atomic Tests for Absence: NPL.- Generalizations and Conclusions.
Détails de conformité du produit
Personne responsable dans l'UE