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

Understanding Behaviour of Distributed Systems Using mCRL2

by Jan Friso Groote, Muhammad Atif

Language
English
Published
2023
Publisher
Springer International Publishing
Pages
235
ISBN
9783031230073
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)