Kniha momentálne nie je na sklade
Viac o knihe
The book delves into formal verification, emphasizing the importance of creating a mathematical model for systems and a clear language to specify their desired properties. It explores methods of proof to ensure these properties are met, highlighting the role of automated processes in verification. The focus is on achieving accuracy and clarity in system specifications, making it a crucial resource for understanding the intersection of mathematics and computer science in system validation.
Nákup knihy
Symbolic Model Checking, Kenneth L. McMillan
- Jazyk
- Rok vydania
- 2012
- product-detail.submit-box.info.binding
- (mäkká)
Akonáhle sa objaví, pošleme e-mail.
Platobné metódy
Nikto zatiaľ neohodnotil.