Understanding Behaviour of Distributed Systems Using mCRL2 - Studies in Systems, Decision and Control - Muhammad Atif - Livres - Springer International Publishing AG - 9783031230103 - 27 février 2024
Si la couverture et le titre ne correspondent pas, le titre est correct.

Muhammad Atif
Understanding Behaviour of Distributed Systems Using mCRL2 - Studies in Systems, Decision and Control 2023 edition

Prix
€ 171,99

Commandé depuis un entrepôt distant

Livraison prévue 13 - 21 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Également disponible en tant que :

This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. For example, biological cells, supply chain management systems, patient support platforms, and communication protocols. The underlying technique is based on verifying requirements through model checking.

235 pages, 15 Illustrations, color; 88 Illustrations, black and white; XV, 235 p. 103 illus., 15 ill

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 27 février 2024
ISBN13 9783031230103
Éditeurs Springer International Publishing AG
Pages 235
Dimensions 150 × 220 × 10 mm   ·   434 g
Langue et grammaire Allemand  

Voir tous les Muhammad Atif ( par ex. Hardcover Book et Paperback Book )