Ingen varer
Kassen / rediger kurv
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. For example, biological cells,... Læs mere