bokomslag Understanding Behaviour Of Distributed Systems Using Mcrl2

Understanding Behaviour Of Distributed Systems Using Mcrl2

Atif Muhammad Atif Groote Jan Friso Groote

Pocket

909:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 2023
  • Författare: Atif Muhammad Atif, Groote Jan Friso Groote
  • Format: Pocket/Paperback
  • ISBN: 9783031230097
  • Språk: Engelska
  • Utgivningsdatum: 2023-02-26
  • Förlag: Springer Nature B.V.