Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications, Paperback/Gerard O\'Regan - Springer

Cumpara concise guide to springer de calitate.
Pe yeo poti sa gasesti cel mai bun pret pentru concise guide to springer

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