1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk modellering
  5. Matematikkens fundament
  6. Sandsynlighedsregning og statistik
  7. Matematik for forskere
  8. Matematikprogrammer og statistikprogrammer
  9. Understanding Behaviour of Distributed Systems Using mCRL2

Understanding Behaviour of Distributed Systems Using mCRL2

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

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 Hardback
Sprog Engelsk
Udgave 2023 ed.
Udgivelsesdato 26-02-2023
Første udgivelsesår 2023
Serie Studies in Systems, Decision and Control
Illustrationer 15 Illustrations, color; 88 Illustrations, black and white
Originalsprog Switzerland
Sideantal 235
Indbinding Hardback
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 9783031230073