List of Famous Top books on Formal Methods in Software Engineering
In this post, we will see a list of some famous books on formal methods in software engineering.
S. No. | Author name | Book name |
1 | Gerard O’Regan | Concise guide to formal methods |
2 | Jean-Francois Monin and M.G. Hinchey | Understanding formal methods |
3 | John Wordsworth | Software development with Z |
4 | Paul Boca & P. Bowen | Formal Methods: State of art and new directions |
5 | Jonathan Jacky | The way of Z: practical programming with formal methods |
6 | Ria Megnin | Code in every class |
7 | Inc. Avid | Pro tools Official Courseware |
8 | Michael Fisher | An introduction to practical formal methods using temporal logic |
9 | Steve McConnel | Software Project Survival Guide |
10 | Antoni Diller | An introduction to Formal methods |
11 | Michael Harrison & Harold Thimbleby | Formal methods in human-computer interaction |
12 | Ramakrishna Reddy | Confessions of a Software Techie |
13 | Marilyn Wolf | Computers as Components |
14 | Butler, Michael | Formal Methods, and Software engineering |
15 | C. Neville Dean & Michael G. Hinchey | Teaching and Learning Formal Methods |
16 | Klaus Schneider | Verification of Reactive Systems: Formal methods and algorithm |
17 | Marcel Vinicius | Formal Methods: Foundations and applications |
18 | Sandeep Nagar | Introduction to Scilab |
19 | Miro Samek | Practical UML Statecharts in C/C++ |
20 | Doron A. Peled | Software reliability methods |
21 | Juliano Iyoda & Leonardo de Moura | Formal methods: Foundations and applications |
22 | Jean-Louis Boulanger | Formal methods: Industrial Use from Model to Code |
23 | Giampaolo Bella | Formal Correctness of Security Protocols |
24 | Dines Bjorner | Software Engineering 3 |
25 | David Makinson | Sets, Logic and Maths for computing |
26 | J. R Abrial & A. Hoare | The B-Book: Assigning programs to meanings |
27 | Howard Bowman and John Derrick | Formal methods for Distributed Processing |
28 | Simone Cavalheiro & Jose Fiadeiro | Formal Methods: Foundations and applications |
29 | Kevin Lano | The B Language and method |
30 | Adenilso Simao & Carroll Morgan | Formal methods: Foundations and applications |