261,93 €
Produit Neuf
Ou 65,48 € /mois
- Livraison : 25,00 €
- Livré entre le 4 et le 9 septembre
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.
Nos autres offres
-
304,38 €
Produit Neuf
Ou 76,10 € /mois
- Livraison : 3,99 €
- Livré entre le 21 et le 27 août
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 Formal Methods For Distributed System Development Format Relié - Livre Sciences de la vie et de la terre
0 avis sur Formal Methods For Distributed System Development Format Relié - Livre Sciences de la vie et de la terre
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
The Evolution Of Complexity By Means Of Natural Selection
Neuf dès 136,68 €
-
The Religion Of The Mithras Cult In The Roman Empire
Neuf dès 214,66 €
-
Last Resort: Photographs Of New Brighton
Occasion dès 139,90 €
-
Lexique Multilingue - Pâtisserie, Boulangerie, Chocolaterie-Confiserie, Glacerie
2 avis
Occasion dès 140,00 €
-
Ignacio Pinazo . Los Inicios De La Pintura Moderna
Occasion dès 152,00 €
-
Clifford Numbers And Spinors
Neuf dès 234,81 €
-
Quantum Chemistry, 2nd Edition
1 avis
Neuf dès 227,66 €
-
Passion & Tradition Boulangères
Occasion dès 390,00 €
-
Intrinsic Motivation And Self-Determination In Human Behavior
Neuf dès 342,95 €
-
Monster Hunter: World - Official Complete Works
1 avis
Neuf dès 220,99 €
-
2010 Fifa Tm (Shopro Books)
Occasion dès 315,99 €
-
Torsi Torses Nus
Occasion dès 270,00 €
-
An Introduction To Nuclear Astrophysics: The Formation And The Evolution Of Matter In The Universe: The Formation And The Evolutin Of Matter In The Universe (Geophysics And Astrophysics Monographs)
Neuf dès 162,77 €
-
Collected Papers Of Albert Einstein, Volume 2
Neuf dès 369,72 €
-
Genre In Archaic And Classical Greek Poetry: Theories And Models
Neuf dès 267,64 €
-
Loulou De La Falaise
Occasion dès 158,99 €
-
Renzo Piano Building Workshop
Neuf dès 228,99 €
-
Architecture For People: The Complete Works Of Hassan Fathy
2 avis
Occasion dès 132,50 €
-
The Lord Of The Rings
Neuf dès 190,12 €
-
Nuancier Dcs Cmyk Pro
Occasion dès 230,00 €
Produits similaires
Présentation Formal Methods For Distributed System Development Format Relié
- Livre Sciences de la vie et de la terre
Sommaire:
1. Formal Verification of the TTP Group Membership Algorithm.- 2. Verification of a Sliding Window Protocol Using IOA and MONA.- 3. A Priori Verification of Reactive Systems.- 4. From Rule-based to Automata-based Testing.- 5. Integrated System Interoperability Testing with Applications to VOIP.- 6. On Test Derivation from Partial Specifications.- 7. Compositionality for Improving Model Checking.- 8. A Model Checking Method for Partially Symmetric Systems.- 9. Specification and Verification of Message Sequence Charts.- 10. A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification.- 11. Verification of Consistency Protocols via Infinite-State Symbolic Model Checking.- 12. Systematic Performance Evaluation of Multipoint Protocols.- 13. Simulating Multicast Transport Protocols in Estelle.- 14. Generation of Realistic Signalling Traffic in an ISDN Load Test System using SDL User Models.- 15. Satisfaction up to Liveness.- 16. Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool.- 17. Verifying and Testing Asynchronous Circuits using LOTOS.- 18. Hardware implementation of Concurrent Periodic EFSM's.- 19. Modeling Distributed Embedded Systems in Multiclock ESTEREL.- 20. Compact Net Semantics for Process Algebras.- 21. A Concise Compositional Statecharts Semantics Definition.- 22 Implementing CCS in Maude.- 23. From Refutation to Verification.- 24. Process Algebraic Analysis of Cryptographic Protocols.- 25. A Logic of Belief and a Model Checking Algorithm for Security Protocols.
Détails de conformité du produit
Personne responsable dans l'UE