| 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 |
