Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
An accessible guide to formal methods covering theory, fundamentals, and real-world industry applications for students and professionals.
About This Book
This book provides an accessible overview of formal methods for undergraduate students and practitioners.
It explores core concepts in theory and fundamentals while highlighting practical uses in industry.
The text is part of the Undergraduate Topics in Computer Science series.
Reviews
No reviews yet. Be the first to review this book!