List of Famous Top books on Formal Methods in Software Engineering

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

 

Fazal Rehman Shamil
Welcome to all friends. The reason for our success is only your love for T4Tutorials. Our team is always available to answer your queries regarding any kind of confusions or discussion regarding your study and career matters. For discussion with us please join our facebook group "T4Tutorials.com". The link of the group is mentioned below. Thanks and love to all for connecting with us. We are nothing without you. Love you all.....
https://web.facebook.com/groups/2066136233601097/