Le livre est actuellement en rupture de stock
En savoir plus sur le livre
Focusing on practical applications, this textbook emphasizes the use of formal methods and verification through engaging puzzles, industry case studies, and diverse verification tools. Students are encouraged to design protocols and explore the formal verification process by creating and proving new concurrent protocols, fostering critical thinking. The text covers various verification languages and tools, including Promela, Murphi, and NuSMV, enabling learners to understand the strengths and weaknesses of different methods through real-world examples.
Achat du livre
Computation Engineering:: Formal Specification and Verification Methods, Ganesh Gopalakrishnan
- Langue
- Année de publication
- 2007
- product-detail.submit-box.info.binding
- (rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .