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
ISBN
9783031230097
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)