This invaluable textbook/reference provides an easy-to-read Guide to the Fundamentals of Formal methods, highlighting the rich Applications of Formal methods across a diverse range of areas of computing.
Topics and features: introduces the key concepts in software engineering, software reliability and dependability, Formal methods, and discrete mathematics; presents a short history of logic, from Aristotle\'s syllogistic logic and the logic of the Stoics, through Boole\'s symbolic logic,.
This invaluable textbook/reference provides an easy-to-read Guide to the Fundamentals of Formal methods, highlighting the rich Applications of Formal methods across a diverse range of areas of computing