Bokus
Understanding Behaviour of Distributed Systems Using mCRL2

Övrigt, Engelska, 2023

Understanding Behaviour of Distributed Systems Using mCRL2

Av Muhammad Atif, Jan Friso Groote

652 kr

Skickas inom 5-8 vardagar

Beskrivning
Produktinformation
  • Utgivningsdatum: 2023-02-26
  • Format: Övrigt
  • Språk: Engelska
  • Antal sidor: 252
  • Förlag: Springer
  • ISBN: 9783031230097
Utforska kategorier
  • Inga kategorier tillgängliga.
Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.