Muhammad Atif
Understanding Behaviour of Distributed Systems Using MCRL2
Muhammad Atif, Jan Friso Groote · 2023
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonBook details
- Year
- 2023
- Language
- English
- Publisher
- Springer International Publishing AG
- Editions
- 2
- ISBN
- 9783031230073
Data source: Wikidata