Understanding Behaviour of Distributed Systems Using mCRL2 (Bog, Paperback / softback, Engelsk) af Muhammad Atif
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk modellering
  5. Matematik for forskere
  6. Matematikprogrammer og statistikprogrammer
  7. Datamodellering og simulering
  8. Matematikkens fundament
  9. Understanding Behaviour of Distributed Systems Using mCRL2

Understanding Behaviour of Distributed Systems Using mCRL2

(Bog, Paperback / softback, Engelsk)
Forfattere: Muhammad Atif, Jan Friso Groote
Understanding Behaviour of Distributed Systems Using mCRL2
Forlag: Springer International Publishing AG

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Forfattere Muhammad Atif, Jan Friso Groote
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave 2023 ed.
Udgivelsesdato 27-02-2024
Første udgivelsesår 2024
Serie Studies in Systems, Decision and Control
Illustrationer 15 Illustrations, color; 88 Illustrations, black and white
Originalsprog Switzerland
Sideantal 235
Indbinding Paperback / softback
Forlag Springer International Publishing AG
Sideoplysninger 235 pages, 15 Illustrations, color; 88 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783031230103