Muhammad Atif
- Auteur
Geschreven door Muhammad Atif
Muhammad Atif
Jan Friso Groote
Understanding Behaviour of Distributed Systems Using mCRL2
€ 216,99
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies.
Meer
Muhammad Atif€ 216,99