Kniha momentálne nie je na sklade
Parametre
- Počet strán
- 400 stránok
- Čas čítania
- 14 hodin
Viac o knihe
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.
Nákup knihy
Computation Engineering:: Formal Specification and Verification Methods, Ganesh Gopalakrishnan
- Jazyk
- Rok vydania
- 2007
- product-detail.submit-box.info.binding
- (pevná)
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Computation Engineering:: Formal Specification and Verification Methods
- Jazyk
- anglicky
- Autori
- Ganesh Gopalakrishnan
- Vydavateľ
- Springer Us
- Rok vydania
- 2007
- Väzba
- pevná
- Počet strán
- 400
- ISBN13
- 9780387244198
- Kategórie
- Matematika, Elektrotechnika, Počítače, IT, programovanie
- Anotácia
- 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.