BooksCOMPUTERS/Database Administration & Management
Understanding Behaviour of Distributed Systems Using mCRL2
by Muhammad Atif, Jan Friso Groote
Product Details
Author
Muhammad Atif, Jan Friso Groote
Publisher
Springer Nature
Published
2023
Binding
Hardcover
ISBN
9783031230073
Language
English
Genre
COMPUTERS/Database Administration & Management
Category
Books