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
Mex$ 3.273
sin IVA

Pedido desde almacén remoto

Entrega prevista 31 de jul. - 12 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Muhammad Atif

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

Aún no valorado

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  

Más del mismo editor

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