Muhammad Atif - Böcker
Visar alla böcker från författaren Muhammad Atif. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
1 910 kr
Skickas inom 10-15 vardagar
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. For example, biological cells, supply chain management systems, patient support platforms, and communication protocols. The underlying technique is based on verifying requirements through model checking.
634 kr
Skickas inom 5-8 vardagar
1 910 kr
Skickas inom 10-15 vardagar
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. For example, biological cells, supply chain management systems, patient support platforms, and communication protocols. The underlying technique is based on verifying requirements through model checking.