Articles liés à Understanding Behaviour of Distributed Systems Using...
Synopsis
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to analyse a distributed system with respect to its functional requirements. 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. The book explains the syntax of mCRL2 and offers modelling tips and tricks.Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 162,51
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour Understanding Behaviour of Distributed Systems Using...
Image fournie par le vendeur
Understanding Behaviour of Distributed Systems using mCRL2
Edité par
Springer International Publishing, 2023
ISBN 10 : 3031230078
ISBN 13 : 9783031230073
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 753225869
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Understanding Behaviour of Distributed Systems Using mCRL2
Edité par
Springer International Publishing, 2023
ISBN 10 : 3031230078
ISBN 13 : 9783031230073
Neuf
Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to analyse a distributed system with respect to its functional requirements. 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. The book explains the syntax of mCRL2 and offers modelling tips and tricks. N° de réf. du vendeur 9783031230073
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Understanding Behaviour of Distributed Systems Using mCRL2
Edité par
Springer International Publishing Feb 2023, 2023
ISBN 10 : 3031230078
ISBN 13 : 9783031230073
Neuf
Couverture rigide
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to analyse a distributed system with respect to its functional requirements. 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. The book explains the syntax of mCRL2 and offers modelling tips and tricks. 252 pp. Englisch. N° de réf. du vendeur 9783031230073
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Understanding Behaviour of Distributed Systems Using mCRL2
ISBN 10 : 3031230078
ISBN 13 : 9783031230073
Neuf
Couverture rigide
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to analyse a distributed system with respect to its functional requirements. 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. The book explains the syntax of mCRL2 and offers modelling tips and tricks.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch. N° de réf. du vendeur 9783031230073
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Understanding Behaviour of Distributed Systems Using Mcrl2
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 45777906-n
Quantité disponible : 5 disponible(s)
Image fournie par le vendeur
Understanding Behaviour of Distributed Systems Using Mcrl2
Edité par
Springer, 2023
ISBN 10 : 3031230078
ISBN 13 : 9783031230073
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 45777906
Quantité disponible : 5 disponible(s)
Image d'archives
Understanding Behaviour of Distributed Systems Using McRl2: 458
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur 26395357795
Quantité disponible : 4 disponible(s)
Image d'archives
Understanding Behaviour of Distributed Systems Using McRl2: 458
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Print on Demand. N° de réf. du vendeur 401019324
Quantité disponible : 4 disponible(s)
Image d'archives
Understanding Behaviour of Distributed Systems Using McRl2: 458
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. PRINT ON DEMAND. N° de réf. du vendeur 18395357801
Quantité disponible : 4 disponible(s)
Image d'archives
Understanding Behaviour of Distributed Systems Using mCRL2 (Hardcover)
Edité par
Springer International Publishing AG, Cham, 2023
ISBN 10 : 3031230078
ISBN 13 : 9783031230073
Neuf
Couverture rigide
Vendeur : Grand Eagle Retail, Mason, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : new. Hardcover. This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to analyse a distributed system with respect to its functional requirements. 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. The book explains the syntax of mCRL2 and offers modelling tips and tricks. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783031230073
Quantité disponible : 1 disponible(s)