$112.99
Taxes may apply at checkout.
This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions.
The second part focuses on logi
Concise Guide to Formal Methods
Formal Methods: Foundations and Applications
Formal Methods for Software Engineering
Guide to Discrete Mathematics
Formal Methods: Foundations and Applications
Introduction to Mathematical Logic
Logic in Computer Science
Logic in Computer Science
Formal Methods
Mathematical Foundations of Computer Science
Formal Methods in Manufacturing
Introduction to Formal Philosophy
Send anonymous feedback
Thank you! Your feedback has been sent.