Understanding Formal Methods
Download or Read eBook Understanding Formal Methods PDF written by Jean-Francois Monin and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 288 pages. Available in PDF, EPUB and Kindle.
| Author | : Jean-Francois Monin |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 288 |
| Release | : 2012-12-06 |
| ISBN-10 | : 9781447100430 |
| ISBN-13 | : 1447100433 |
| Rating | : 4/5 (30 Downloads) |
Book Synopsis Understanding Formal Methods by : Jean-Francois Monin
Book excerpt: This is an excellent introduction to formal methods which will bring anyone who needs to know about this important topic up to speed. It is comprehensive, giving the reader all the information needed to explore the field of formal methods in more detail. It offers: a guide to the mathematics required; comprehensive but easy-to-understand introductions to various methods; a run-down of how formal methods can help to develop high-quality systems that come in on time, within budget, and according to requirements.
