Cover of Understanding Behaviour of Distributed Systems Using mCRL2
Buy on Amazon

Understanding Behaviour of Distributed Systems Using mCRL2

by Muhammad Atif, Jan Friso Groote

Language
English
Published
2024
Publisher
Springer International Publishing
Pages
235
ISBN
9783031230103
Genres
Nonfiction › Science & mathematics › MathematicsNonfiction › Science & mathematics › BiologyNonfiction › Technology › Computing › ProgrammingNonfiction › Philosophy › Logic

Original edition

Originally published in 2023 English Springer Nature

Other editions (3)