Formal Methods: An Appetizer
by Flemming Nielson, Hanne Riis Nielson
Formal Methods: An Appetizer provides a concise introduction to formal methods for readers beginning to explore rigorous approaches to computing and mathematical reasoning. Written by Flemming Nielson and Hanne Riis Nielson, it offers an accessible starting point for study, teaching, or further investigation.
About This Book
Formal Methods: An Appetizer offers an introduction to the subject of formal methods, presenting the topic in a concise and approachable format.
Written by Flemming Nielson and Hanne Riis Nielson, the book is suited to readers seeking an entry point into formal approaches to computing and reasoning.
Its focus makes it relevant to students, educators, and professionals interested in the relationship between computer science and mathematics.
Reviews
No reviews yet. Be the first to review this book!