El libro está agotado actualmente
Más información sobre el libro
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.
Compra de libros
Symbolic Model Checking, Kenneth L. McMillan
- Idioma
- Publicado en
- 2012
- product-detail.submit-box.info.binding
- (Tapa blanda)
Te avisaremos por correo electrónico en cuanto lo localicemos.
Métodos de pago
Nadie lo ha calificado todavía.