Understanding Behaviour of Distributed Systems Using mCRL2 - Studies in Systems, Decision and Control - Muhammad Atif - Libros - Springer International Publishing AG - 9783031230073 - 26 de febrero de 2023
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
$ 189,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

También disponible como:

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

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 26 de febrero de 2023
ISBN13 9783031230073
Editores Springer International Publishing AG
Páginas 235
Dimensiones 150 × 220 × 20 mm   ·   593 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Muhammad Atif ( Ej. Hardcover Book y Paperback Book )