Geschreven door Muhammad Atif

Muhammad Atif Jan Friso Groote
Understanding Behaviour of Distributed Systems Using mCRL2
0 beoordelingen
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. Meer

Populaire producten

    Personen

      Trefwoorden