114,30 €
Produit Neuf
Ou 28,58 € /mois
- Livraison à 0,01 €
- Livré entre le 27 août et le 11 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783031851339_dbm
Nos autres offres
-
110,31 €
Produit Neuf
Ou 27,58 € /mois
- Livraison : 3,99 €
- Livré entre le 27 août et le 2 septembre
Voir le détail de l'annonce -
114,30 €
Produit Neuf
Ou 28,58 € /mois
- Livraison à 0,01 €
- Livré entre le 27 août et le 11 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783031851339_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 Rebeca For Actor Analysis In Action de Format Broché - Livre Informatique
0 avis sur Rebeca For Actor Analysis In Action de Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Custom Lettering Of The '60s & '70s
Occasion dès 162,00 €
-
Living Beautifully In Paris
Occasion dès 61,75 €
-
Hitman By Garth Ennis And John Mccrea Omnibus Vol. 2
Neuf dès 114,69 €
-
Investments
Neuf dès 106,09 €
-
Fix-It Phonics - Level 3 - Student Pack (2nd Edition)
Neuf dès 59,72 €
-
Open World First Student's Book Without Answers With Online Practice
Neuf dès 74,40 €
Occasion dès 117,61 €
-
The Twilight Saga Deluxe Hardcover Collection
Neuf dès 223,38 €
Occasion dès 85,00 €
-
No Time To Die: The Making Of The Film
Neuf dès 59,98 €
-
The Oxford Handbook Of Maritime Archaeology
Neuf dès 115,11 €
-
Hollywood Costume Design
Occasion dès 162,74 €
-
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 €
-
Le Jardin Parfumé
Occasion dès 55,50 €
-
Car Racing 1971
Neuf dès 129,00 €
-
Méthode Assimil Espagnol 4cd Et 1 Livre
Occasion dès 56,00 €
-
Essential Grammar In Use - Une Grammaire De Référence Et De Pratique Destinée Aux Étudiants De Niveau Élémentaire
7 avis
Occasion dès 80,00 €
-
Columbo Under Glass - A Critical Analysis Of The Cases, Clues And Character Of The Good Lieutenant (Hardback)
Neuf dès 64,74 €
-
Inorganic Chemistry
Occasion dès 76,13 €
-
Dynamo 1 Workbook A (Pack Of 8)
Neuf dès 70,77 €
Produits similaires
Présentation Rebeca For Actor Analysis In Action de Format Broché
- Livre Informatique
Résumé : This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers. Marjan Sirjani received her PhD in Computer Engineering from Sharif University of Technology for work on the Formal Specification and Verification of Concurrent and Reactive Systems. After Postdoc, Lecturer, Visiting Scholar, Associate Professor, and Professor positions in Iran, The Netherlands, Iceland, and the US, she has been a Professor in the School of Innovation, Design and Engineering of M?lardalen University since 2016. Her main fields of interest are Software Engineering, Formal Methods, Cyber-Physical Systems Analysis, Model Checking, Distributed Systems, and Applying Formal Methods in System Design. Among other successes, Marjan invented the Rebeca modelling language, one of the best-known actor-based languages with a formal semantics and a wealth of analysis and verification tools. Rebeca has been used in modelling and analysis of a wide range of systems, including in domains such as biomedical engineering, automotive, and aviation. Throughout her career, Marjan has trained many students and worked successfully with a range of scientists and engineers across disciplines, these collaborations are reflected in the papers in this volume....
Biographie:
An LAGC Semantics for Timed Rebeca Inside Every Multi-Threaded Program There Are Active Objects Struggling To Get Out.
-. A Debugging System for Language-parameterized Proofs Security Threats and Challenges of Digital Twins-enabled Self-adaptive Systems.
-. Ten Years of Spatial Model Checking.
Sommaire:
-. Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic.
-. Parallel Composition of Constraint Automata.
-. Privacy-Aware Modeling and Analysis of Social Networks Using Rebeca Ranch: Rebeca on Chip Animating Rebeca.
-. Verify Engineering Models, not Scientific Models.
-. Black-box protocol testing using Rebeca and Automata Learning.
-. From LTL to Scenarios: Automatic test case generation for Axini Modeling Language.
-. Concurrent Rules Machines Verifying ROS Systems Using Timed and Stochastic Timed Automata.
-. ...
Détails de conformité du produit
Personne responsable dans l'UE