Rigorous Methods for Software Construction and Analysis
Download or Read eBook Rigorous Methods for Software Construction and Analysis PDF written by Jean-Raymond Abrial and published by Springer. This book was released on 2010-01-10 with total page 248 pages. Available in PDF, EPUB and Kindle.
| Author | : Jean-Raymond Abrial |
| Publisher | : Springer |
| Total Pages | : 248 |
| Release | : 2010-01-10 |
| ISBN-10 | : 9783642114472 |
| ISBN-13 | : 3642114474 |
| Rating | : 4/5 (72 Downloads) |
Book Synopsis Rigorous Methods for Software Construction and Analysis by : Jean-Raymond Abrial
Book excerpt: This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning from theoretical and methodological foundations to practical applications.
