Pozycje tego autora w naszej księgarni:
Wyniki wyszukiwania
Znaleziono 1 pasujący rekord dla kryteriów wyszukiwania
|
|
|
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to ...
|
